| 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 9862-9862 | MereologicalDifferenceFn e' uma instancia de Relacao Espacial |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9841-9841 | MereologicalProductFn e' uma instancia de Relacao Espacial |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9819-9819 | MereologicalSumFn e' uma instancia de Relacao Espacial |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4221-4221 | 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 29799-29799 | beforeOnPath e' uma instancia de Relacao Espacial |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4151-4151 | between e' uma instancia de Relacao Espacial |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4172-4172 | betweenOnPath e' uma instancia de Relacao Espacial |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9536-9536 | connected e' uma instancia de Relacao Espacial |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9563-9563 | 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. | Merge.kif 15948-15948 | 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 7713-7713 | 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 23753-23753 | initialPart e' uma instancia de Relacao Espacial |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23781-23781 | initiallyContainsPart e' uma instancia de Relacao Espacial |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7784-7784 | larger e' uma instancia de Relacao Espacial |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16981-16981 | 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 10011-10011 | partiallyFills e' uma instancia de Relacao Espacial |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4043-4043 | 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 8285-8292 |
|
|
|