No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19280-19280 |
ε nounGender, 1 and Noun |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19281-19281 |
ε nounGender, 2 and NaturalLanguage |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19282-19282 |
ε nounGender, 3 and GrammaticalGender |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19279-19279 |
δΎ nounGender and TernaryPredicate |