TreeView Knowledge Base Browser - SecurityUnit

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 8521-8523
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8520-8520	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 51957-51957
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51956-51956
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51955-51955

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8525-8535	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 26989-26995	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 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