No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19273-19273 |
Animate is an instance of grammatical gender |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19262-19262 |
Female is an instance of grammatical gender |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19276-19276 |
Inanimate is an instance of grammatical gender |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19266-19266 |
Male is an instance of grammatical gender |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19270-19270 |
Neuter is an instance of grammatical gender |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19259-19259 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19260-19260 |
|