No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19307-19307 |
Le nombre 1 argument de nounGender est une instance de nom |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19308-19308 |
Le nombre 2 argument de nounGender est une instance de langage naturel |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19309-19309 |
Le nombre 3 argument de nounGender est une instance de GrammaticalGender |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19306-19306 |
nounGender est une instance de pr�dicat ternaire |