| SpatialRelation(Relacao Espacial) | |
| 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 | Relacao Espacial e' uma sub-classe de InheritableRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2656-2656 | Relacao Espacial e' uma sub-classe de Relacao |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 895-895 | BackFn e' uma instancia de Relacao Espacial |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 875-875 | FrontFn e' uma instancia de Relacao Espacial |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9848-9848 | MereologicalDifferenceFn e' uma instancia de Relacao Espacial |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9827-9827 | MereologicalProductFn e' uma instancia de Relacao Espacial |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9805-9805 | MereologicalSumFn e' uma instancia de Relacao Espacial |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4220-4220 | WhereFn e' uma instancia de Relacao Espacial |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1454-1454 | absoluteHeight e' uma instancia de Relacao Espacial |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29762-29762 | beforeOnPath e' uma instancia de Relacao Espacial |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4150-4150 | between e' uma instancia de Relacao Espacial |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4171-4171 | betweenOnPath e' uma instancia de Relacao Espacial |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9522-9522 | connected e' uma instancia de Relacao Espacial |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9549-9549 | connects e' uma instancia de Relacao Espacial |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1014-1014 | contains e' uma instancia de Relacao Espacial |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29731-29731 | covers e' uma instancia de Relacao Espacial |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1531-1531 | cylinderBore e' uma instancia de Relacao Espacial |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7699-7699 | distance e' uma instancia de Relacao Espacial |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 992-992 | hole e' uma instancia de Relacao Espacial |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23696-23696 | initialPart e' uma instancia de Relacao Espacial |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23723-23723 | initiallyContainsPart e' uma instancia de Relacao Espacial |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7770-7770 | larger e' uma instancia de Relacao Espacial |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16932-16932 | orientation e' uma instancia de Relacao Espacial |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 914-914 | part e' uma instancia de Relacao Espacial |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9997-9997 | partiallyFills e' uma instancia de Relacao Espacial |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4042-4042 | partlyLocated e' uma instancia de Relacao Espacial |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 729-729 | physicalAmplitude e' uma instancia de Relacao Espacial |
| 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 8271-8278 |
|
|
|