No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9105-9105	内 是 外 的相反
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17547-17547	容易 是 较不可能 的相反
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19482-19482	丢失 是 韩元 的相反
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18147-18147	男 是 女 的相反
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21606-21606	混溶的 是 不混溶 的相反
No TPTP formula. May not be expressible in strict first order.	Government.kif 249-249	帝制 是 联邦 的相反
No TPTP formula. May not be expressible in strict first order.	Government.kif 248-248	帝制 是 共和国 的相反
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30143-30143	Naked 是 Clothed 的相反
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14139-14139	赤裸裸的承诺 是 合同 的相反
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18175-18175	没有完全形成 是 完全成型 的相反
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17034-17034	北 是 南 的相反
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3955-3955	开放服务 是 封闭的服务 的相反
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15060-15060	铺砌 是 未铺砌 的相反
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1498-1498	和平国家 是 战争状态 的相反
No TPTP formula. May not be expressible in strict first order.	emotion.kif 763-763	Pleasure 是 痛 的相反
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17728-17728	多色 是 单色 的相反
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20961-20961	私家侦探 是 警探 的相反
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 792-792	过程成功 是 过程失败 的相反
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1812-1812	Prone 是 Supine 的相反
No TPTP formula. May not be expressible in strict first order.	Economy.kif 781-781	纯粹的资本主义经济 是 混合经济 的相反
No TPTP formula. May not be expressible in strict first order.	Economy.kif 808-808	纯粹的社会主义经济 是 混合经济 的相反
No TPTP formula. May not be expressible in strict first order.	Economy.kif 809-809	纯粹的社会主义经济 是 纯粹的资本主义经济 的相反
No TPTP formula. May not be expressible in strict first order.	Dining.kif 1037-1037	Quick 是 Slow 的相反
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17140-17140	右 是 左 的相反
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17778-17778	硬性 是 易弯的 的相反
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