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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ConvexRoundShape

 Sigma KEE - ConvexRoundShape
ConvexRoundShape(中凸的圓形)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4809-4810
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1964-1964
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2339-2339
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4808-4808 例 中凸的圓形 and 三維圖

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50530-50530
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50529-50529
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50528-50528

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4814-4828

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5010-5019
No TPTP formula. May not be expressible in strict first order. Sports.kif 340-342
No TPTP formula. May not be expressible in strict first order. Cars.kif 4787-4789
No TPTP formula. May not be expressible in strict first order. Cars.kif 4256-4258


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