AtmosphericRegion - Sigma Knowledge base Browser

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 9028-9029
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 9027-9027	子類大氣地區 and 空間區域

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 2772-2772	例臭氧盾 and 大氣地區
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9068-9068	劃分空間區域, 大氣地區 and 外太空區域
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9076-9076	子類暴風雨前線 and 大氣地區
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 2533-2546	例 Process and Fogging Process 是 located 在 Region 例 Region and GeographicArea 例 Object and 大氣地區方位 Object, Region and 以上例 Object and Aerosal Object 對於 Object 在時間何時 Process located visibility 在 Region 期間何時 Process 是測量 RealNumber and 儀表少於 RealNumber and 1000.0
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2562-2576	例 Process and AtmosphericHazing Process 是 located 在 Region 例 Region and GeographicArea 例 Object and 大氣地區方位 Object, Region and 以上 Object 對於 Object 在時間何時 Process located visibility 在 Region 期間何時 Process 是測量 RealNumber and 公里比較多 RealNumber and 2.0 少於 RealNumber and 5.0
No TPTP formula. May not be expressible in strict first order.	Weather.kif 41-46	例 Object and 大氣地區 Object 例 Object and 空氣部分 Object and Object
No TPTP formula. May not be expressible in strict first order.	Weather.kif 33-35	例 Object and 大氣地區部分 Object and 地球的大氣

consequent

No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 944-955	例 Process and 飛行患者 Process and Entity 例 Entity and 空中發射導彈 Entity 例 Entity and 大氣地區持有期間開始何時 Process and 位於 Entity and Entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17228-17233	例 Process and 飛行 Object 例 Object and 大氣地區 Process 是 located 在 Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17252-17259	例 Process and 降落 Entity Process 例 Entity and 大氣地區持有期間結束何時 Process and Process 是 located 在 Entity 子過程 Process and Process 例 Process and 飛行
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 976-990	例 Physical and 空襲導彈有目的 Physical and entity entity and entity 儀器 entity and Physical 患者 entity and entity 例 entity and Damaging 例 entity and 大氣地區持有期間開始何時 entity and 位於 Physical and entity 位於 entity and entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17239-17246	例 Process and 起飛 Entity Process 例 Entity and 大氣地區持有期間開始何時 Process and Process 是 located 在 Entity 子過程 Process and Process 例 Process and 飛行
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7413-7422	例 Object and ParticulateMatter SelfConnectedObject Object and RealNumber 例 Object and 大氣地區位於 Object and Object 部分 SelfConnectedObject and Object SelfConnectedObject 的 approximate diameter 是測量 RealNumber and Micrometer 比較多 1000.0 and RealNumber
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17688-17695	例 Process and 航空運輸 Object Object 例 Object and 飛機例 Object and 大氣地區儀器 Process and Object Process 是 located 在 Object

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