Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| 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 |
|