TreeView 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	例亞洲 and Continent
No TPTP formula. May not be expressible in strict first order.	Geography.kif 281-281	方位亞洲, 大洋洲 and 西北
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3550-3550	在空間上重疊亞洲 and 北半球
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3551-3551	在空間上重疊亞洲 and 南半球

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	空間的符合歐洲 and 亞洲
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3549-3549	名 "Asia" and 亞洲
No TPTP formula. May not be expressible in strict first order.	Geography.kif 276-276	方位歐洲, 亞洲 and 西方
No TPTP formula. May not be expressible in strict first order.	Geography.kif 285-285	方位中東地區, 亞洲 and 西南
No TPTP formula. May not be expressible in strict first order.	Geography.kif 279-279	方位北美, 亞洲 and 東
No TPTP formula. May not be expressible in strict first order.	Geography.kif 146-146	在空間上重疊中東地區 and 亞洲
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 820-820	部分朝鮮半島 and 亞洲
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	例 Entity and Continent 等於非洲 and Entity 等於北美 and Entity 等於南美洲 and Entity 等於南極洲 and Entity 等於歐洲 and Entity 等於亞洲 and Entity 等於大洋洲 and Entity
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6707-6711	例 Physical and 草原位於 Physical and 歐洲位於 Physical and 亞洲

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

KB Term:			Term intersection

English Word: