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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CommercialBuilding

Sigma KEE - CommercialBuilding
CommercialBuilding(商业建筑)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7045-7047
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2142-2142
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1705-1705
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7043-7043 商业建筑建筑物subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7044-7044 商业建筑商业地点subclass

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7029-7029 商业地点 详尽无遗地 partition商业建筑商业单位
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6965-6965 ConventionCenter商业建筑subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7049-7049 仓库商业建筑subclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 15822-15822
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 15821-15821
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 15820-15820

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


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


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