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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Cylinder
Cylinder(cylinder)
cylinder

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4548-4550
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1084-1084
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4547-4547 Cylinder is a subclass of three dimensional figure

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18273-18273
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18272-18272
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18271-18271

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 1535-1535 The number 1 argument of cylinderBore is an instance of cylinder

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 367-373
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 891-899


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