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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AtmosphericRegion
AtmosphericRegion(大气地区)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9029-9030
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8356-8356
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8930-8930
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8933-8933
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8932-8932
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9028-9028 大气地区空间区域subclass

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 2772-2772 臭氧盾大气地区instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9069-9069 空间区域 详尽无遗地 partition大气地区外太空区域
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9077-9077 暴风雨前线大气地区subclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8916-8916
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8915-8915
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8914-8914

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 2537-2550
No TPTP formula. May not be expressible in strict first order. Weather.kif 2566-2580
No TPTP formula. May not be expressible in strict first order. Weather.kif 41-46
No TPTP formula. May not be expressible in strict first order. Weather.kif 33-35

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


No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 944-955
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17229-17234
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17253-17260
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 976-990
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17240-17247
No TPTP formula. May not be expressible in strict first order. Geography.kif 7413-7422
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17689-17696


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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