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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DepartmentOfFn
DepartmentOfFn

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


(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 17733-17735
(domain DepartmentOfFn 1 Organization) Mid-level-ontology.kif 17729-17729 The number 1 argument of department is an instance of organization
(domainSubclass DepartmentOfFn 2 Physical) Mid-level-ontology.kif 17730-17730 The number 2 argument of department is a subclass of physical
(instance DepartmentOfFn BinaryFunction) Mid-level-ontology.kif 17728-17728 Department is an instance of binary function
(range DepartmentOfFn Organization) Mid-level-ontology.kif 17731-17731 The range of department is an instance of organization

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


(format EnglishLanguage DepartmentOfFn "the department of %2 in %1") Mid-level-ontology.kif 17738-17738
(subrelation DepartmentOfPreventingFn DepartmentOfFn) Mid-level-ontology.kif 17764-17764 DepartmentOfPreventingFn is a subrelation of department
(termFormat EnglishLanguage DepartmentOfFn "department") Mid-level-ontology.kif 17737-17737

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


(=>
    (and
        (equal ?DEP
            (DepartmentOfFn ?COMP ?PHYS))
        (subOrganization ?DEP2 ?COMP)
        (not
            (equal ?DEP ?DEP2))
        (instance ?I ?PHYS)
        (inScopeOfInterest ?P ?I)
        (equal ?P1
            (ProbabilityFn
                (agent ?P ?DEP)))
        (equal ?P2
            (ProbabilityFn
                (agent ?P ?DEP2))))
    (greaterThan ?P1 ?P2))
Mid-level-ontology.kif 17748-17762
(=>
    (equal ?DEP
        (DepartmentOfFn ?COMP ?PHYS))
    (exists (?P)
        (and
            (agent ?P ?DEP)
            (instance ?I ?PHYS)
            (inScopeOfInterest ?P ?I))))
Mid-level-ontology.kif 17740-17746


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



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