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


KB Term:  Term intersection
English Word: 

  DepartmentOfFn

 Sigma KEE - DepartmentOfFn
DepartmentOfFn

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


(instance DepartmentOfFn BinaryFunction) Mid-level-ontology.kif 20227-20227 Department is an instance of binary function
(domain DepartmentOfFn 1 Organization) Mid-level-ontology.kif 20228-20228 The number 1 argument of department is an instance of organization
(domainSubclass DepartmentOfFn 2 Physical) Mid-level-ontology.kif 20229-20229 The number 2 argument of department is a subclass of physical
(range DepartmentOfFn Organization) Mid-level-ontology.kif 20230-20230 The range of department is an instance of organization
(documentation DepartmentOfFn EnglishLanguage "A part of an Organization that is primary concerned with processes or objects of the given type. That is not to say that other departments may not also be concerned with these entities but merely the the principal concern of the given department or group.") Mid-level-ontology.kif 20232-20234 The range of department is an instance of organization

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


(termFormat EnglishLanguage DepartmentOfFn "department") Mid-level-ontology.kif 20236-20236
(format EnglishLanguage DepartmentOfFn "the department of %2 in %1") Mid-level-ontology.kif 20237-20237
(subrelation DepartmentOfPreventingFn DepartmentOfFn) Mid-level-ontology.kif 20294-20294 Department of preventing fn is a subrelation of department

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


(=>
    (equal ?DEP
        (DepartmentOfFn ?COMP ?PHYS))
    (exists (?P ?I)
        (and
            (agent ?P ?DEP)
            (instance ?I ?PHYS)
            (inScopeOfInterest ?DEP ?I))))		 Mid-level-ontology.kif 20239-20246 If equal X and the department of Y in Z, then there exist W, V such that X is an agent of W, V is an instance of Y, and X is interested in V
(=>
    (and
        (equal ?DEP
            (DepartmentOfFn ?COMP ?PHYS))
        (subOrganization ?DEP2 ?COMP)
        (not
            (equal ?DEP ?DEP2))
        (instance ?I ?PHYS)
        (inScopeOfInterest ?DEP ?I)
        (equal ?P1
            (ProbabilityFn
                (agent ?P ?DEP)))
        (equal ?P2
            (ProbabilityFn
                (agent ?P ?DEP2))))
    (greaterThan ?P1 ?P2))		 Mid-level-ontology.kif 20248-20263 If All of the following hold: (1) equal X and the department of Y in Z (2) W is a part of the organization Z (3) equal X and W (4) V is an instance of Y (5) X is interested in V (6) equal U and the probability of X is an agent of T (7) equal S and the probability of W is an agent of T, then U is greater than S


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