No TPTP formula. May not be expressible in strict first order.	Merge.kif 17798-17798	平滑 是 粗 的相反
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17564-17564	固体 是 液体 的相反
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7350-7350	可溶的 是 不可溶的 的相反
No TPTP formula. May not be expressible in strict first order.	engineering.kif 697-697	刚性 是 合规 的相反
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19300-19300	宁静 是 焦虑 的相反
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19672-19672	牢不可破 是 脆弱 的相反
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18357-18357	无意识 是 觉醒 的相反
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19304-19304	不幸 是 幸福 的相反
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17674-17674	无光的 是 发光的 的相反
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1704-1704	上坡 是 下坡 的相反
No TPTP formula. May not be expressible in strict first order.	Cars.kif 5148-5148	UsedItem 是 NewItem 的相反
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4390-4390	UserNamePasswordAuthentication 是 TwoFactorAuthentication 的相反
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4068-4068	火山活跃 是 火山休眠 的相反

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