No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7590-7591 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7593-7593 |
The number 2 argument of amount is an instance of corpuscular object |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7594-7594 |
The number 3 argument of amount is an instance of mass measure |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7592-7592 |
The number 1 argument of amount is a subclass of substance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7589-7589 |
amount is an instance of ternary predicate |