No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13068-13068 | 子類 手勢 and 手勢 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13078-13078 | 子類 揮手 and 手勢 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13088-13088 | 子類 拍手 and 手勢 |