TreeView Knowledge Base Browser - Baton

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Baton

Baton(baton)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2851-2851
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2850-2850	Baton is a subclass of device

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10194-10194
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10193-10193
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10192-10192

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2863-2865	If an object is an instance of baton, then long and thin is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2853-2861	If a physical is an instance of baton, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of musical performance and the other entity is an instance of guiding and the other entity is a subprocess of the entity and the physical is an instrument for the other entity

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