No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28159-28160 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28163-28163 |
The number 1 argument of buys is an instance of cognitive agent |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28164-28164 |
The number 2 argument of buys is an instance of cognitive agent |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28165-28165 |
The number 3 argument of buys is an instance of entity |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28158-28158 |
buys is an instance of ternary predicate |