USMilitary - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - USMilitary

USMilitary(US military)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 953-953
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5535-5535
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 951-951	US military is an instance of military organization
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 952-952	United states is a military of area of US military

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60907-60907
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60906-60906
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60905-60905
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2940-2940

consequent

No TPTP formula. May not be expressible in strict first order.

MilitaryProcesses.kif 940-949

If a kind of content bearing object is a subclass of joint publication and a content bearing physical is an instance of a kind of content bearing object and the content bearing physical contains information a formula and an agent is the author of the kind of content bearing object,
then there exists an organization such that the organization is a part of the organization US military and the agent obligates the organization to perform task of the type the formula

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