![]() |
![]() ![]() ![]()
|
![]() |
|
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 2565-2567 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2563-2563 | Spatial relation is a subclass of inheritable relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2562-2562 | 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 853-853 | Back is an instance of spatial relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 833-833 | Front is an instance of spatial relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9265-9265 | Mereological difference is an instance of spatial relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9244-9244 | Mereological product is an instance of spatial relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9222-9222 | Mereological sum is an instance of spatial relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4079-4079 | 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 27989-27989 | beforeOnPath is an instance of spatial relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4009-4009 | between is an instance of spatial relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4030-4030 | between on path is an instance of spatial relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8970-8970 | connected is an instance of spatial relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8992-8992 | connects is an instance of spatial relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 942-942 | contains is an instance of spatial relation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27959-27959 | covers is an instance of spatial relation |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1527-1527 | cylinderBore is an instance of spatial relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7302-7302 | distance is an instance of spatial relation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21704-21704 | havePartTypes is an instance of spatial relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9291-9291 | hole is an instance of spatial relation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21653-21653 | initial part is an instance of spatial relation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21680-21680 | initially contains part is an instance of spatial relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7373-7373 | larger is an instance of spatial relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15777-15777 | orientation is an instance of spatial relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 872-872 | part is an instance of spatial relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9414-9414 | partially fills is an instance of spatial relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3901-3901 | partly located 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 7804-7809 |
|
![]() |
![]() |