No TPTP formula. May not be expressible in strict first order.	Geography.kif 246-246	在空間上重疊 北美洲南部 and 北半球
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3556-3556	在空間上重疊 大洋洲 and 北半球
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3533-3533	在空間上重疊 南美洲 and 北半球
No TPTP formula. May not be expressible in strict first order.	Geography.kif 269-269	在空間上重疊 東南亞 and 北半球
No TPTP formula. May not be expressible in strict first order.	Geography.kif 265-265	在空間上重疊 南亞 and 北半球
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3617-3617	在空間上重疊 熱帶 and 北半球
No TPTP formula. May not be expressible in strict first order.	Geography.kif 203-203	在空間上重疊 西非 and 北半球
No TPTP formula. May not be expressible in strict first order.	Geography.kif 253-253	在空間上重疊 西南美洲 and 北半球
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4591-4591	部分位於 NortheasternPacificOcean and 北半球
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4604-4604	部分位於 NorthwesternPacificOcean and 北半球
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41097-41097
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41096-41096
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41095-41095

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