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 |
The number 1 argument of conveyance is an instance of transportation |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23533-23533 |
The number 2 argument of conveyance is an instance of transportation device |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23527-23527 |
conveyance is an instance of case role |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23531-23531 |
conveyance is a subrelation of instrument |