| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6756-6756 | 子類 移動住宅 and Artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6808-6808 | 子類 營 and 移動住宅 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6819-6819 | 子類 帳篷 and 移動住宅 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25764-25764 | 子類 RecreationalVehicle and 移動住宅 |
|
|