No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4336-4336 | AnimalGuiding 是 引导 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4349-4349 | 骑马 是 AnimalGuiding 的 subclass |