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 | Spatial relation is a subclass of inheritable relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2656-2656 | Spatial relation is a subclass of relation |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 895-895 | Back is an instance of spatial relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 875-875 | Front is an instance of spatial relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9826-9826 | Mereological difference is an instance of spatial relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9805-9805 | Mereological product is an instance of spatial relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9783-9783 | Mereological sum is an instance of spatial relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4220-4220 | Where is an instance of spatial relation |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1454-1454 | absolute height is an instance of spatial relation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29774-29774 | before on path is an instance of spatial relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4150-4150 | between is an instance of spatial relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4171-4171 | between on path is an instance of spatial relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9500-9500 | connected is an instance of spatial relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9527-9527 | connects is an instance of spatial relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1014-1014 | contains is an instance of spatial relation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29743-29743 | covers is an instance of spatial relation |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1531-1531 | cylinder bore is an instance of spatial relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7677-7677 | distance is an instance of spatial relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 992-992 | hole is an instance of spatial relation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23697-23697 | initial part is an instance of spatial relation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23724-23724 | initially contains part is an instance of spatial relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7748-7748 | larger is an instance of spatial relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16910-16910 | orientation is an instance of spatial relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 914-914 | part is an instance of spatial relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9975-9975 | partially fills is an instance of spatial relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4042-4042 | partly located is an instance of spatial relation |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 729-729 | physical amplitude is an instance of spatial relation |
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 8249-8256 |
|