No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6773-6773 | Mobile residence is a subclass of mobile structure |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6835-6835 | Camp is a subclass of mobile residence |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6846-6846 | Tent is a subclass of mobile residence |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25797-25797 | Camper is a subclass of mobile residence |