No TPTP formula. May not be expressible in strict first order.	Economy.kif 427-427	中低收入国家 是 中上收入国家 的直接后续属性
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18176-18176	没有完全形成 是 完全成型 的直接后续属性
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2390-2390	萨菲尔辛普森飓风1 是 萨菲尔辛普森飓风2 的直接后续属性
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2402-2402	萨菲尔辛普森飓风2 是 萨菲尔辛普森飓风3 的直接后续属性
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2414-2414	萨菲尔辛普森飓风3 是 萨菲尔辛普森飓风4 的直接后续属性
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2426-2426	萨菲尔辛普森飓风4 是 萨菲尔辛普森飓风5 的直接后续属性
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 995-995	StandardRoom 是 DeluxeRoom 的直接后续属性
No TPTP formula. May not be expressible in strict first order.	Military.kif 358-358	美国军衔e1 是 美国军衔e2 的直接后续属性
No TPTP formula. May not be expressible in strict first order.	Military.kif 371-371	美国军衔e2 是 美国军衔e3 的直接后续属性
No TPTP formula. May not be expressible in strict first order.	Military.kif 384-384	美国军衔e3 是 美国军衔e4 的直接后续属性
No TPTP formula. May not be expressible in strict first order.	Military.kif 397-397	美国军衔e4 是 美国军衔e5 的直接后续属性
No TPTP formula. May not be expressible in strict first order.	Military.kif 410-410	美国军衔e5 是 美国军衔e6 的直接后续属性
No TPTP formula. May not be expressible in strict first order.	Military.kif 423-423	美国军衔e6 是 美国军衔e7 的直接后续属性
No TPTP formula. May not be expressible in strict first order.	Military.kif 436-436	美国军衔e7 是 美国军衔e8 的直接后续属性
No TPTP formula. May not be expressible in strict first order.	Military.kif 449-449	美国军衔e8 是 美国军衔e9 的直接后续属性
No TPTP formula. May not be expressible in strict first order.	Military.kif 469-469	美国军衔e9 是 美国军衔e9特别 的直接后续属性
No TPTP formula. May not be expressible in strict first order.	Military.kif 482-482	美国军衔e9 是 美国军衔o1 的直接后续属性
No TPTP formula. May not be expressible in strict first order.	Military.kif 492-492	美国军衔o1 是 美国军衔o2 的直接后续属性
No TPTP formula. May not be expressible in strict first order.	Military.kif 594-594	美军军衔o10 是 美国军衔特殊 的直接后续属性
No TPTP formula. May not be expressible in strict first order.	Military.kif 502-502	美国军衔o2 是 美国军衔o3 的直接后续属性
No TPTP formula. May not be expressible in strict first order.	Military.kif 512-512	美国军衔o3 是 美国军衔o4 的直接后续属性
No TPTP formula. May not be expressible in strict first order.	Military.kif 522-522	美国军衔o4 是 美国军衔o5 的直接后续属性
No TPTP formula. May not be expressible in strict first order.	Military.kif 532-532	美国军衔o5 是 美国军衔o6 的直接后续属性
No TPTP formula. May not be expressible in strict first order.	Military.kif 542-542	美国军衔o6 是 美国军衔o7 的直接后续属性
No TPTP formula. May not be expressible in strict first order.	Military.kif 555-555	美国军衔o7 是 美国军衔o8 的直接后续属性
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