| appearance as argument number 1 |
|
| (documentation DepartmentOfFn EnglishLanguage "A part of an Organization that is primary concerned with processes or objects of the given type. That is not to say that other departments may not also be concerned with these entities but merely the the principal concern of the given department or group.") | Mid-level-ontology.kif 17733-17735 | |
| (domain DepartmentOfFn 1 Organization) | Mid-level-ontology.kif 17729-17729 | The number 1 argument of department is an instance of organization |
| (domainSubclass DepartmentOfFn 2 Physical) | Mid-level-ontology.kif 17730-17730 | The number 2 argument of department is a subclass of physical |
| (instance DepartmentOfFn BinaryFunction) | Mid-level-ontology.kif 17728-17728 | Department is an instance of binary function |
| (range DepartmentOfFn Organization) | Mid-level-ontology.kif 17731-17731 | The range of department is an instance of organization |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage DepartmentOfFn "the department of %2 in %1") | Mid-level-ontology.kif 17738-17738 | |
| (subrelation DepartmentOfPreventingFn DepartmentOfFn) | Mid-level-ontology.kif 17764-17764 | DepartmentOfPreventingFn is a subrelation of department |
| (termFormat EnglishLanguage DepartmentOfFn "department") | Mid-level-ontology.kif 17737-17737 |
| antecedent |
|
|
|
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