No TPTP formula. May not be expressible in strict first order.	Merge.kif 749-749	域 greaterThanByQuality, 1 and Entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 750-750	域 greaterThanByQuality, 2 and Entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 90-90	域 立即實例, 1 and Entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3106-3106	域 在列表中, 1 and Entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2724-2724	域 在感興趣的範圍內, 2 and Entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 81-81	域 例, 1 and Entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2415-2415	域 參與活動, 2 and Entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14753-14753	域 當地的長名, 2 and Entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14765-14765	域 本地簡稱, 2 and Entity
No TPTP formula. May not be expressible in strict first order.	Media.kif 3331-3331	域 nameIndexOrder, 2 and Entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4429-4429	域 名, 2 and Entity
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 127-127	域 offersAtTime, 2 and Entity
No TPTP formula. May not be expressible in strict first order.	emotion.kif 199-199	域 pastTense, 2 and Entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2496-2496	域 患者, 2 and Entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1708-1708	域 屬性, 1 and Entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4413-4413	域 參照, 1 and Entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4414-4414	域 參照, 2 and Entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 627-627	域 相關的外部概念, 2 and Entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 616-616	域 相關的內部概念, 1 and Entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 617-617	域 相關的內部概念, 2 and Entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4452-4452	域 代表, 1 and Entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4453-4453	域 代表, 2 and Entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4464-4464	域 代表代理人, 1 and Entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4465-4465	域 代表代理人, 2 and Entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4478-4478	域 用語言表示, 2 and Entity
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

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