No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23528-23530 |
|
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 23533-23533 |
Le nombre 2 argument de conveyance est une instance de v�hicule de transport |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23527-23527 |
conveyance est une instance de r�le d�pendant du cas |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23531-23531 |
conveyance est une sous-relation de instrument |