| appearance as argument number 1 |
|
| (documentation DepartmentOfPreventingFn EnglishLanguage "A department charged with preventing or inhibiting processes of a certain kind.") | Mid-level-ontology.kif 16086-16087 | |
| (instance DepartmentOfPreventingFn BinaryFunction) | Mid-level-ontology.kif 16085-16085 | DepartmentOfPreventingFn is an instance of binary function |
| (subrelation DepartmentOfPreventingFn DepartmentOfFn) | Mid-level-ontology.kif 16084-16084 | DepartmentOfPreventingFn is a subrelation of department |
| antecedent |
|
|
| (=> (and (equal ?DEP (DepartmentOfPreventingFn ?COMP ?PHYS)) (subclass ?PHYS Process)) (inhibits ?DEP ?PHYS)) |
Mid-level-ontology.kif 16089-16093 | |
| (=> (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 16095-16104 |
|
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