Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  CanadianDollarCoin

Sigma KEE - Cylinder
Cylinder(圓筒)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4840-4842
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1083-1083
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4839-4839 子類 圓筒 and 三維圖

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18282-18282
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18281-18281
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18280-18280

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Cars.kif 1535-1535 cylinderBore, 1 and 圓筒

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 1538-1544

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Weather.kif 572-577
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 418-424
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5486-5488
No TPTP formula. May not be expressible in strict first order. Cars.kif 1606-1615
No TPTP formula. May not be expressible in strict first order. Sports.kif 964-972


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