TreeView Knowledge Base Browser - DepartmentOfPreventingFn

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 18418-18420
(domain DepartmentOfPreventingFn 1 Organization)	Mid-level-ontology.kif 18421-18421	The number 1 argument of Department of preventing fn is an instance of organization
(domainSubclass DepartmentOfPreventingFn 2 Process)	Mid-level-ontology.kif 18422-18422	The number 2 argument of Department of preventing fn is a subclass of process
(instance DepartmentOfPreventingFn BinaryFunction)	Mid-level-ontology.kif 18417-18417	Department of preventing fn is an instance of binary function
(range DepartmentOfPreventingFn Organization)	Mid-level-ontology.kif 18424-18424	The range of Department of preventing fn is an instance of organization
(subrelation DepartmentOfPreventingFn DepartmentOfFn)	Mid-level-ontology.kif 18416-18416	Department of preventing fn is a subrelation of department

appearance as argument number 2

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

antecedent

(=> (and (equal ?DEP (DepartmentOfPreventingFn ?COMP ?PHYS)) (subclass ?PHYS Process) (subOrganization ?DEP ?COMP)) (inhibits ?DEP ?PHYS))	Mid-level-ontology.kif 18428-18433	If an organization is equal to another organization is preventing a kind of physical and a kind of physical is a subclass of process and the organization is a part of the organization the other organization, then the organization inhibits the kind of physical
(=> (equal ?DEP (DepartmentOfPreventingFn ?COMP ?PHYS)) (not (desires ?COMP (exists (?P) (and (instance ?P ?PHYS) (involvedInEvent ?P ?COMP))))))	Mid-level-ontology.kif 18435-18442	If an organization is equal to another organization is preventing a kind of physical, then the other organization doesn't desire there exists an entity such that the entity is an instance of a kind of physical and the other organization is an involved in event of the entity

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