No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19279-19279 |
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 19280-19280 |
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 19281-19281 |
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 19278-19278 |
nounGender est une instance de pr�dicat ternaire |