SpatialRelation(relation spatial) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1916-1917 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2659-2661 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 543-544 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2657-2657 | Relation spatial est une sous-classe de InheritableRelation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2656-2656 | Relation spatial est une sous-classe de relation |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 895-895 | BackFn est une instance de relation spatial |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 875-875 | FrontFn est une instance de relation spatial |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9862-9862 | MereologicalDifferenceFn est une instance de relation spatial |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9841-9841 | MereologicalProductFn est une instance de relation spatial |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9819-9819 | MereologicalSumFn est une instance de relation spatial |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4221-4221 | WhereFn est une instance de relation spatial |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1454-1454 | absoluteHeight est une instance de relation spatial |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29799-29799 | beforeOnPath est une instance de relation spatial |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4151-4151 | between est une instance de relation spatial |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4172-4172 | betweenOnPath est une instance de relation spatial |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9536-9536 | connected est une instance de relation spatial |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9563-9563 | connects est une instance de relation spatial |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1014-1014 | contains est une instance de relation spatial |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15948-15948 | covers est une instance de relation spatial |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1531-1531 | cylinderBore est une instance de relation spatial |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7713-7713 | distance est une instance de relation spatial |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 992-992 | hole est une instance de relation spatial |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23753-23753 | initialPart est une instance de relation spatial |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23781-23781 | initiallyContainsPart est une instance de relation spatial |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7784-7784 | larger est une instance de relation spatial |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16981-16981 | orientation est une instance de relation spatial |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 914-914 | part est une instance de relation spatial |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10011-10011 | partiallyFills est une instance de relation spatial |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4043-4043 | partlyLocated est une instance de relation spatial |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 729-729 | physicalAmplitude est une instance de relation spatial |
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 8285-8292 |