| appearance as argument number 1 |
|
| 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 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18359-18359 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18416-18416 | DepartmentOfPreventingFn est une sous-relation de DepartmentOfFn |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18358-18358 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18370-18385 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18361-18368 |
|
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners