SecurityUnit - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - SecurityUnit

SecurityUnit(security unit)

patrol, security, security_department

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9728-9730
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9727-9727	Security unit is a subclass of organization

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51961-51961
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51960-51960
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51959-51959

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9732-9742	If an organization is an instance of security unit and the organization is a part of the organization another organization, then the organization is obliged to perform tasks of type there exists an entity such that the entity is an instance of maintaining and the organization is an agent of the entity and the other organization is a patient of the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28900-28906	If an entity is an instance of security unit, then the statement there exists another entity such that the other entity is an instance of surveillance system and the entity is interested in the other entity has the modal force of likely

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