No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18354-18356 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18350-18350 |
Le nombre 1 argument de DepartmentOfFn est une instance de organisation |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18351-18351 |
Le nombre 2 argument de DepartmentOfFn est une sous-classe de physique |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18349-18349 |
DepartmentOfFn est une instance de fonction binaire |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18352-18352 |
Le domaine de DepartmentOfFn est une instance de organisation |