MarinesBranchOfService - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - MarinesBranchOfService

MarinesBranchOfService(marines- branch of service)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Military.kif 806-807
No TPTP formula. May not be expressible in strict first order.	Military.kif 808-808	Marines- branch of service is a subclass of military organization

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36179-36179
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36178-36178
No TPTP formula. May not be expressible in strict first order.	Military.kif 809-809
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36177-36177

consequent

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

Medicine.kif 6065-6070

If an organization is an instance of fleet marine force,
then there exists another organization such that the other organization is an instance of marines- branch of service and the organization is a part of the organization the other organization

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