Chart - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Chart

Chart(chart)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14581-14581
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4593-4593
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1124-1124
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14580-14580	Chart is a subclass of icon

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14211-14211
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14210-14210
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14209-14209

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14583-14588	If an entity is an instance of chart, then there exists another entity such that the other entity is an instance of physical quantity and the entity includes a reference to the other entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14612-14617	If an entity is an instance of chart, then there exists another entity such that the other entity is an instance of physical quantity and the entity includes a reference to 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