TreeView Knowledge Base Browser - International

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - International

International(international)

external, international, outside

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27138-27139
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27137-27137	International is an instance of relational attribute

appearance as argument number 2

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

Mid-level-ontology.kif 27140-27140

antecedent

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

Mid-level-ontology.kif 27142-27154

If an object is an instance of telephone communication and international is an attribute of the object,
then there exist another object, a physical,, , a third object and a fourth object such that the object originates at the other object and the object ends up at the physical and the other object is located at the third object and the physical is located at the fourth object and the third object is an instance of nation and the fourth object is an instance of nation and the third object is not equal to the fourth object

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