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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AppraisalOfLoss

Sigma KEE - SemiaridClimateZone
SemiaridClimateZone(半乾旱氣候帶)

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 2630-2630
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2523-2523
No TPTP formula. May not be expressible in strict first order. Geography.kif 1396-1396 子類 半乾旱氣候帶 and 氣候區

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52019-52019
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52018-52018
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52017-52017

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 1245-1257


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