| appearance as argument number 1 |
|
| (documentation DepartmentOfPreventingFn EnglishLanguage "A department charged with preventing or inhibiting processes of a certain kind.") | Mid-level-ontology.kif 17746-17747 | |
| (domain DepartmentOfPreventingFn 1 Organization) | Mid-level-ontology.kif 17748-17748 | |
| (domain DepartmentOfPreventingFn 2 Process) | Mid-level-ontology.kif 17749-17749 | |
| (instance DepartmentOfPreventingFn BinaryFunction) | Mid-level-ontology.kif 17745-17745 | |
| (subrelation DepartmentOfPreventingFn DepartmentOfFn) | Mid-level-ontology.kif 17744-17744 |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage DepartmentOfPreventingFn "%1 is %n preventing %2") | Mid-level-ontology.kif 17750-17750 |
| antecedent |
|
|
| (=> (and (equal ?DEP (DepartmentOfPreventingFn ?COMP ?PHYS)) (subclass ?PHYS Process)) (inhibits ?DEP ?PHYS)) |
Mid-level-ontology.kif 17752-17756 | |
| (=> (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 17758-17767 |
|
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