Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  DepartmentOfPreventingFn

Sigma KEE - DepartmentOfPreventingFn
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 17766-17767
(domain DepartmentOfPreventingFn 1 Organization) Mid-level-ontology.kif 17768-17768
(domain DepartmentOfPreventingFn 2 Process) Mid-level-ontology.kif 17769-17769
(instance DepartmentOfPreventingFn BinaryFunction) Mid-level-ontology.kif 17765-17765
(subrelation DepartmentOfPreventingFn DepartmentOfFn) Mid-level-ontology.kif 17764-17764

appearance as argument number 2
-------------------------


(format EnglishLanguage DepartmentOfPreventingFn "%1 is %n preventing %2") Mid-level-ontology.kif 17770-17770

antecedent
-------------------------


(=>
    (and
        (equal ?DEP
            (DepartmentOfPreventingFn ?COMP ?PHYS))
        (subclass ?PHYS Process))
    (inhibits ?DEP ?PHYS))
Mid-level-ontology.kif 17772-17776
(=>
    (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 17778-17787


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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