Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  DepartmentOfPreventingFn

 Sigma KEE - DepartmentOfPreventingFn
DepartmentOfPreventingFn

appearance as argument number 1
-------------------------


(subrelation DepartmentOfPreventingFn DepartmentOfFn) Mid-level-ontology.kif 20294-20294 Department of preventing fn is a subrelation of department
(instance DepartmentOfPreventingFn BinaryFunction) Mid-level-ontology.kif 20295-20295 Department of preventing fn is an instance of binary function
(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 20296-20298 Department of preventing fn is an instance of binary function
(domain DepartmentOfPreventingFn 1 Organization) Mid-level-ontology.kif 20299-20299 The number 1 argument of Department of preventing fn is an instance of organization
(domainSubclass DepartmentOfPreventingFn 2 Process) Mid-level-ontology.kif 20300-20300 The number 2 argument of Department of preventing fn is a subclass of process
(range DepartmentOfPreventingFn Organization) Mid-level-ontology.kif 20302-20302 The range of Department of preventing fn is an instance of organization

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


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

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


(=>
    (and
        (equal ?DEP
            (DepartmentOfPreventingFn ?COMP ?PHYS))
        (subclass ?PHYS Process)
        (subOrganization ?DEP ?COMP))
    (inhibits ?DEP ?PHYS))		 Mid-level-ontology.kif 20306-20311 If equal X and Y is preventing Z, Z is a subclass of process, and X is a part of the organization Y, then X inhibits Z
(=>
    (equal ?DEP
        (DepartmentOfPreventingFn ?COMP ?PHYS))
    (not
        (desires ?COMP
            (exists (?P)
                (and
                    (instance ?P ?PHYS)
                    (involvedInEvent ?P ?COMP))))))		 Mid-level-ontology.kif 20313-20320 If equal X and Y is preventing Z, then Y doesn't desire there doesn't exist W such that W is an instance of Z and Y is an involved in event of W


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners