DepartmentOfPreventingFn |
appearance as argument number 1 |
![]() |
(documentation DepartmentOfPreventingFn EnglishLanguage "A department charged with preventing or inhibiting processes of a certain kind.") | Mid-level-ontology.kif 16060-16061 | |
(instance DepartmentOfPreventingFn BinaryFunction) | Mid-level-ontology.kif 16059-16059 | |
(subrelation DepartmentOfPreventingFn DepartmentOfFn) | Mid-level-ontology.kif 16058-16058 |
antecedent |
![]() |
(=> (and (equal ?DEP (DepartmentOfPreventingFn ?COMP ?PHYS)) (subclass ?PHYS Process)) (inhibits ?DEP ?PHYS)) |
Mid-level-ontology.kif 16063-16067 | |
(=> (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 16069-16078 |
![]() |
![]() |