No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9105-9105	相反的屬性 內 and 外
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17547-17547	相反的屬性 容易 and 較不可能
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19482-19482	相反的屬性 丟失 and 韓元
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18147-18147	相反的屬性 男 and 女
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21606-21606	相反的屬性 混溶的 and 不混溶
No TPTP formula. May not be expressible in strict first order.	Government.kif 249-249	相反的屬性 帝制 and 聯邦
No TPTP formula. May not be expressible in strict first order.	Government.kif 248-248	相反的屬性 帝制 and 共和國
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30143-30143	相反的屬性 Naked and Clothed
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14139-14139	相反的屬性 赤裸裸的承諾 and 合同
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18175-18175	相反的屬性 沒有完全形成 and 完全成型
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17034-17034	相反的屬性 北, 南, 東 and 西方
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3955-3955	相反的屬性 開放服務 and 封閉的服務
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15060-15060	相反的屬性 鋪砌 and 未鋪砌
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1498-1498	相反的屬性 和平國家 and 戰爭狀態
No TPTP formula. May not be expressible in strict first order.	emotion.kif 763-763	相反的屬性 Pleasure and 痛
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17728-17728	相反的屬性 多色 and 單色
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20961-20961	相反的屬性 私家偵探 and 警探
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 792-792	相反的屬性 過程成功 and 過程失敗
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1812-1812	相反的屬性 Prone and Supine
No TPTP formula. May not be expressible in strict first order.	Economy.kif 781-781	相反的屬性 純粹的資本主義經濟 and 混合經濟
No TPTP formula. May not be expressible in strict first order.	Economy.kif 808-808	相反的屬性 純粹的社會主義經濟 and 混合經濟
No TPTP formula. May not be expressible in strict first order.	Economy.kif 809-809	相反的屬性 純粹的社會主義經濟 and 純粹的資本主義經濟
No TPTP formula. May not be expressible in strict first order.	Dining.kif 1037-1037	相反的屬性 Quick and Slow
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17140-17140	相反的屬性 右 and 左
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17778-17778	相反的屬性 硬性 and 易彎的
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