No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19280-19280 |
nounGender 的 1 数量 是 名词 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19281-19281 |
nounGender 的 2 数量 是 自然语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19282-19282 |
nounGender 的 3 数量 是 GrammaticalGender 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19279-19279 |
nounGender 是 三元谓语 的 instance |