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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Rectangle

 Sigma KEE - Rectangle
Rectangle(長方形)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4917-4918
No TPTP formula. May not be expressible in strict first order. pictureList.kif 965-965
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4916-4916 例 長方形 and 四邊形

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4920-4920 直角 是發現在 長方形 的 angle
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4922-4922 子屬性 正方形 and 長方形
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49024-49024
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49023-49023
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49022-49022

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3989-3991
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 160-162


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