Transportation(transporter) |
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 11619-11620 | |
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 11617-11617 | Transporter est reli� � l'int�rieur de SUMO � v�hicule de transport |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11616-11616 | Transporter est une sous-classe de Translocation |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1567-1567 | Les valeurs retourn�es par TransportationFn sont des sous-classes de transporter |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1584-1584 | Les valeurs retourn�es par TripFn sont des sous-classes de transporter |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17684-17684 | AirTransportation est une sous-classe de transporter |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11635-11635 | Conduire est une sous-classe de transporter |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17766-17766 | LandTransportation est une sous-classe de transporter |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6531-6531 | MoveToEvac est une sous-classe de transporter |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7692-7692 | Shipping est une sous-classe de transporter |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7705-7705 | Smuggling est une sous-classe de transporter |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17697-17697 | SpaceTransportation est une sous-classe de transporter |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17789-17789 | TransportViaRoadVehicle est une sous-classe de transporter |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17738-17738 | WaterTransportation est une sous-classe de transporter |
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 23532-23532 | Le nombre 1 argument de conveyance est une instance de transporter |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22857-22857 | Le nombre 1 argument de transported est une instance de transporter |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3498-3506 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23574-23580 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23582-23588 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23590-23597 |
|
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 15450-15458 | |
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 23535-23540 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23555-23562 | |
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 17409-17414 |
|
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 11622-11627 |
|
consequent |