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 7320-7320 | 子類 禮堂 and Building |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22502-22502 | 子類 電影院 and 禮堂 |