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

Formal Language: 



KB Term:  Term intersection
English Word: 

  HeatingEquipmentExceptWarmAirFurnacesManufacturing

Sigma KEE - MidlatitudeContinentalClimateZone
MidlatitudeContinentalClimateZone(中緯度大陸性氣候帶)

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 1484-1487
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2491-2491
No TPTP formula. May not be expressible in strict first order. Geography.kif 1482-1482 子類 中緯度大陸性氣候帶 and 氣候區

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37487-37487
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37486-37486
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37485-37485

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 1489-1491
No TPTP formula. May not be expressible in strict first order. Geography.kif 1493-1495


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