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 10036-10036
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4595-4595
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10035-10035 Chart is a subclass of icon

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 14205-14205
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 14204-14204
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 14203-14203

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10038-10043
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10067-10072


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