|
|
   TransitiveRelation
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2334-2334 | Relacao Transitiva e' disjunto de Relacao Intransitiva |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1848-1850 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2336-2338 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 469-471 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2333-2333 | Relacao Transitiva e' uma sub-classe de Relacao Binaria |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16346-16346 | ancestor e' uma instancia de Relacao Transitiva |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24165-24165 | ancestorOrganization e' uma instancia de Relacao Transitiva |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8098-8098 | before e' uma instancia de Relacao Transitiva |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16501-16501 | brother e' uma instancia de Relacao Transitiva |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6493-6493 | conjugate e' uma instancia de Relacao Transitiva |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11956-11956 | connectedBodyPart e' uma instancia de Relacao Transitiva |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29742-29742 | covers e' uma instancia de Relacao Transitiva |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4199-4199 | crosses e' uma instancia de Relacao Transitiva |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 457-457 | dependentGeopoliticalArea e' uma instancia de Relacao Transitiva |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14320-14320 | developmentalForm e' uma instancia de Relacao Transitiva |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8305-8305 | during e' uma instancia de Relacao Transitiva |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8368-8368 | earlier e' uma instancia de Relacao Transitiva |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8066-8066 | finishes e' uma instancia de Relacao Transitiva |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5425-5425 | flows e' uma instancia de Relacao Transitiva |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14043-14043 | geographicSubregion e' uma instancia de Relacao Transitiva |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14088-14088 | geopoliticalSubdivision e' uma instancia de Relacao Transitiva |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1844-1844 | greaterThan e' uma instancia de Relacao Transitiva |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9694-9694 | interiorPart e' uma instancia de Relacao Transitiva |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7749-7749 | larger e' uma instancia de Relacao Transitiva |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1832-1832 | lessThan e' uma instancia de Relacao Transitiva |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4071-4071 | located e' uma instancia de Relacao Transitiva |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4895-4895 | multiplicativeFactor e' uma instancia de Relacao Transitiva |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4292-4292 | precondition e' uma instancia de Relacao Transitiva |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 927-927 | properPart e' uma instancia de Relacao Transitiva |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16510-16510 | sister e' uma instancia de Relacao Transitiva |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2340-2347 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3713-3718 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3650-3655 |
|
|
|
|