| appearance as argument number 1 |
|
| (documentation DepartmentOfPreventingFn EnglishLanguage "A department charged with preventing or inhibiting processes of a certain kind.") | Mid-level-ontology.kif 16088-16089 | |
| (domain DepartmentOfPreventingFn 1 Organization) | Mid-level-ontology.kif 16090-16090 | |
| (domain DepartmentOfPreventingFn 2 Process) | Mid-level-ontology.kif 16091-16091 | |
| (instance DepartmentOfPreventingFn BinaryFunction) | Mid-level-ontology.kif 16087-16087 | |
| (subrelation DepartmentOfPreventingFn DepartmentOfFn) | Mid-level-ontology.kif 16086-16086 |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage DepartmentOfPreventingFn "%1 is %n preventing %2") | Mid-level-ontology.kif 16092-16092 |
| antecedent |
|
|
| (=> (and (equal ?DEP (DepartmentOfPreventingFn ?COMP ?PHYS)) (subclass ?PHYS Process)) (inhibits ?DEP ?PHYS)) |
Mid-level-ontology.kif 16094-16098 | |
| (=> (and (equal ?DEP (DepartmentOfPreventingFn ?COMP ?PHYS)) (subclass ?PHYS Process)) (not (desires ?COMP (exists (?P) (and (instance ?P ?PHYS) (involvedInEvent ?P ?COMP)))))) |
Mid-level-ontology.kif 16100-16109 |
|
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