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 4924-4925
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 4923-4923 子類 長方形 and 四邊形

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4934-4934 子類 廣場 and 長方形
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49022-49022
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49021-49021
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49020-49020

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


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

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3996-3998
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