No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7351-7365 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15748-15748 | Performance stage is a subclass of stationary artifact |