Asia - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	pictureList.kif 241-241
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3552-3552	亚洲是东半球的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3548-3548	亚洲是大陆的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 281-281	亚洲在大洋洲的西北
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3550-3550	亚洲和北半球重叠
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3551-3551	亚洲和南半球重叠

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 177-177	中亚是亚洲的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	Geography.kif 178-178	东亚是亚洲的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	Geography.kif 179-179	北亚是亚洲的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	Geography.kif 183-183	东南亚是亚洲的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	Geography.kif 182-182	南亚是亚洲的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	Geography.kif 184-184	西南亚是亚洲的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20289-20289	Badger inhabits 亚洲
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20304-20304	Bear inhabits 亚洲
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30569-30569	Cheetah inhabits 亚洲
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30546-30546	Crocodile inhabits 亚洲
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30451-30451	Parrot inhabits 亚洲
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30528-30528	驯鹿 inhabits 亚洲
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30434-30434	Rhinoceros inhabits 亚洲
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30414-30414	Tiger inhabits 亚洲
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 45-45	欧洲接上亚洲
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3549-3549	亚洲的名是 "Asia"
No TPTP formula. May not be expressible in strict first order.	Geography.kif 276-276	欧洲在亚洲的西方
No TPTP formula. May not be expressible in strict first order.	Geography.kif 285-285	中东地区在亚洲的西南
No TPTP formula. May not be expressible in strict first order.	Geography.kif 279-279	北美在亚洲的东
No TPTP formula. May not be expressible in strict first order.	Geography.kif 146-146	中东地区和亚洲重叠
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 820-820	朝鲜半岛是亚洲的 part
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8658-8658
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8657-8657
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8656-8656

consequent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 3504-3513	实体是大陆的 instance 若且唯若非洲 equal 那个实体或北美 equal 那个实体或南美洲 equal 那个实体或南极洲 equal 那个实体或欧洲 equal 那个实体或亚洲 equal 那个实体或大洋洲 equal 那个实体
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6707-6711	如果物理是草原的 instance，然后那个物理是 located 在欧洲或那个物理是 located 在亚洲

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

KB Term:			Term intersection

English Word: