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 8229-8231
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8228-8228	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 51951-51951
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51950-51950
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51949-51949

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8233-8243	If an organization is an instance of security unit and the organization は組織 another organization の一部では %n, 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 25241-25247	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