Slot: has_transitive_form

connects an ObjectProperty to its transitive form

URI: http://www.w3.org/2002/07/owl#inverseOf

Properties

• Range: ObjectProperty
• Cardinality: 0..1

Identifier and Mapping Information

Examples

Example	Description
genealogical ancestor of	genealogical ancestor of is the transitive form of genealogical parent of