No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16968-16970 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16964-16964 |
Le nombre 1 argument de monetaryWage est une instance de organisation |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16965-16965 |
Le nombre 2 argument de monetaryWage est une instance de humain |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16966-16966 |
Le nombre 3 argument de monetaryWage est une instance de dur�e temporel |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16967-16967 |
Le nombre 4 argument de monetaryWage est une instance de mesure de devise |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16963-16963 |
monetaryWage est une instance de pr�dicat quaternaire |