Compass - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Compass

Compass(compass)

compass, gyrocompass, magnetic_compass

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2262-2263
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 362-362
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1515-1515
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2261-2261	Compass is a subclass of content bearing object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2260-2260	Compass is a subclass of device

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16152-16152
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16151-16151
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16150-16150

antecedent

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

Mid-level-ontology.kif 2264-2269

If an entity is an instance of compass,
then there exists another entity such that the other entity is an instance of directional attribute and the entity expresses the other entity

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