No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30864-30867 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30872-30872 |
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 30874-30874 |
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 30875-30875 |
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 30876-30876 |
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 30873-30873 |
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 30870-30870 |
shortage is an instance of quintary predicate |