No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15395-15395 | Building level is a subclass of stationary artifact |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15406-15406 | Basement is a subclass of building level |