Transportation(Transporte) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3064-3065 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11643-11644 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1832-1833 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6929-6929 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8119-8119 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8120-8120 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11641-11641 | Transporte e' relacionado internamente por SUMO a Veiculo de Transporte |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11640-11640 | Transporte e' uma sub-classe de Translocation |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1567-1567 | Os valores retornados por TransportationFn sao as sub-classes de Transporte |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1584-1584 | Os valores retornados por TripFn sao as sub-classes de Transporte |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17712-17712 | AirTransportation e' uma sub-classe de Transporte |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11659-11659 | Dirigir e' uma sub-classe de Transporte |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17794-17794 | LandTransportation e' uma sub-classe de Transporte |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6531-6531 | MoveToEvac e' uma sub-classe de Transporte |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7733-7733 | Smuggling e' uma sub-classe de Transporte |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17725-17725 | SpaceTransportation e' uma sub-classe de Transporte |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17817-17817 | TransportViaRoadVehicle e' uma sub-classe de Transporte |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17766-17766 | WaterTransportation e' uma sub-classe de Transporte |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1129-1129 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1475-1475 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 807-807 | |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 339-339 | |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 342-342 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2491-2491 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 759-759 | |
No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 344-344 | |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 378-378 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 828-828 | |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 343-343 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23585-23585 | O argumento numero 1 de conveyance e' uma instancia de Transporte |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22910-22910 | O argumento numero 1 de transported e' uma instancia de Transporte |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3491-3499 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23627-23633 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23635-23641 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23643-23650 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1070-1090 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1051-1068 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1292-1307 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15478-15486 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 789-795 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23588-23593 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23608-23615 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1852-1864 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17437-17442 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1572-1580 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11646-11651 |
|
consequent |