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 "DepartmentOfPreventingFn is a funtion which returns an instance of the department of an organisation (?COMP) charged with preventing or inhibiting a class of processes (?PHYS) of a certain kind.") Mid-level-ontology.kif 18390-18392
(domain DepartmentOfPreventingFn 1 Organization) Mid-level-ontology.kif 18393-18393 Die Zahl 1 Argument von DepartmentOfPreventingFn ist ein fall von Organization %n{nicht}
(domainSubclass DepartmentOfPreventingFn 2 Process) Mid-level-ontology.kif 18394-18394 Die Zahl 2 Argument von DepartmentOfPreventingFn ist eine teilkategorie von Process %n{nicht}
(instance DepartmentOfPreventingFn BinaryFunction) Mid-level-ontology.kif 18389-18389 DepartmentOfPreventingFn ist ein fall von BinaryFunction %n{nicht}
(range DepartmentOfPreventingFn Organization) Mid-level-ontology.kif 18396-18396 bildbereich von DepartmentOfPreventingFn ist ein fall von Organization {nicht}
(subrelation DepartmentOfPreventingFn DepartmentOfFn) Mid-level-ontology.kif 18388-18388 DepartmentOfPreventingFn ist eine teilrelation von DepartmentOfFn

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


(format EnglishLanguage DepartmentOfPreventingFn "%1 is %n preventing %2") Mid-level-ontology.kif 18395-18395
(termFormat EnglishLanguage DepartmentOfPreventingFn "Department of preventing fn") domainEnglishFormat.kif 64757-64757

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


(=>
    (and
        (equal ?DEP
            (DepartmentOfPreventingFn ?COMP ?PHYS))
        (subclass ?PHYS Process)
        (subOrganization ?DEP ?COMP))
    (inhibits ?DEP ?PHYS))		 Mid-level-ontology.kif 18400-18405
(=>
    (equal ?DEP
        (DepartmentOfPreventingFn ?COMP ?PHYS))
    (not
        (desires ?COMP
            (exists (?P)
                (and
                    (instance ?P ?PHYS)
                    (involvedInEvent ?P ?COMP))))))		 Mid-level-ontology.kif 18407-18414


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