No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31200-31203 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31208-31208 |
The number 1 argument of shortage is an instance of agent |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31210-31210 |
The number 3 argument of shortage is an instance of currency measure |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31211-31211 |
The number 4 argument of shortage is an instance of time interval |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31212-31212 |
The number 5 argument of shortage is an instance of quantity |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31209-31209 |
The number 2 argument of shortage is a subclass of object |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31206-31206 |
shortage is an instance of quintary predicate |