No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 337-352 |
|
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 372-387 |
|
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 354-370 |
|
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 51-62 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 832-832 |
Physical is a subclass of entity |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 846-846 |
Object is a subclass of physical |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1304-1304 |
Content bearing physical is a subclass of physical |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1622-1622 |
Process is a subclass of physical |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6121-6121 |
Physical system is a subclass of physical |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 41-41 |
Financial asset is a subclass of physical |