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 9056-9057
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 9055-9055 AtmosphericRegion e' uma sub-classe de SpaceRegion

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 2772-2772 OzoneShield e' uma instancia de AtmosphericRegion
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9096-9096 O conceito SpaceRegion e' completamente decomposto em AtmosphericRegion + OuterSpaceRegion
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9104-9104 StormFront e' uma sub-classe de AtmosphericRegion
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 2520-2533
No TPTP formula. May not be expressible in strict first order. Weather.kif 2549-2563
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 17256-17261
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17280-17287
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 17267-17274
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 17716-17723


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