Term Intersection : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

No TPTP formula. May not be expressible in strict first order. Geography.kif 6345-6345 子類 生物群落 and 生態系統
No TPTP formula. May not be expressible in strict first order. Geography.kif 6362-6362 子類 雨林 and 生物群落
No TPTP formula. May not be expressible in strict first order. Geography.kif 6376-6376 子類 溫帶硬木林 and 生物群落
No TPTP formula. May not be expressible in strict first order. Geography.kif 6379-6379 子類 針葉林 and 生物群落
No TPTP formula. May not be expressible in strict first order. Geography.kif 6597-6597 子類 叢林 and 生物群落
No TPTP formula. May not be expressible in strict first order. Geography.kif 6607-6607 子類 沼澤 and 生物群落
No TPTP formula. May not be expressible in strict first order. Geography.kif 6637-6637 子類 綠洲 and 生物群落
No TPTP formula. May not be expressible in strict first order. Geography.kif 6661-6661 子類 草原 and 生物群落
No TPTP formula. May not be expressible in strict first order. Geography.kif 6727-6727 子類 苔原 and 生物群落


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