TreeView Knowledge Base Browser - SEAL

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

SEAL

Sigma KEE - SEAL

SEAL(United States Navy Sea, Air, and Land Team member)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 780-788
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 779-779	United States Navy Sea, Air, and Land Team member is a subattribute of military person

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 789-789
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 790-790

antecedent

No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 796-802	If United States Navy Sea, Air, and Land Team member is an attribute of an object, then the object has the purpose there exists an entity such that the entity is an instance of special operation and the object is an agent of the entity
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 792-794	If United States Navy Sea, Air, and Land Team member is an attribute of an object, then the object is a member of Navy

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