No TPTP formula. May not be expressible in strict first order.	Government.kif 4338-4338	3 Day 是 世界工会联合会 的成立 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 4344-4344	24 Day 是 世界粮食计划 的成立 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 4350-4350	22 Day 是 世界保健组织 的成立 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 4356-4356	14 Day 是 世界知识产权组织 的成立 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 4362-4362	11 Day 是 世界气象组织 的成立 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 4368-4368	2 Day 是 世界旅游组织 的成立 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 4374-4374	15 Day 是 世贸组织 的成立 date
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2143-2143	Unix时代 equal 0 second
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2453-2457	有存在 时间位置 这样 那个 时间位置 是 1976 year 的 instance 和 斯蒂夫·沃兹尼亚克 是 史蒂芬·贾伯斯 的 coworker 在 那个 时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2441-2445	有存在 时间位置 这样 那个 时间位置 是 2002 year 的 instance 和 提姆·库克 是 史蒂芬·贾伯斯 的 coworker 在 那个 时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Media.kif 2501-2504	Serbia 是 欧洲国家 的 instance 和 时间位置 是 5 day 的 instance 在 那个 时间位置 之后 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Media.kif 2496-2499	Serbia 是 独立国家 的 instance 和 时间位置 是 5 day 的 instance 在 那个 时间位置 之后 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Media.kif 2506-2509	Serbia 的名 是 "Republic of Serbia" 和 时间位置 是 5 day 的 instance 在 那个 时间位置 之后 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Media.kif 2528-2531	时间位置 是 3 day 的 instance 和 Montenegro 是 欧洲国家 的 instance 在 那个 时间位置 之后 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Media.kif 2523-2526	时间位置 是 3 day 的 instance 和 Montenegro 是 独立国家 的 instance 在 那个 时间位置 之后 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Media.kif 2533-2536	时间位置 是 3 day 的 instance 和 Montenegro 的名 是 "Montenegro" 在 那个 时间位置 之后 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Media.kif 2546-2550	时间位置 是 3 day 的 instance 和 塞尔维亚和黑山 不 是 独立国家 的 instance 在 那个 时间位置 之后 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Government.kif 2791-2794	时间位置 是 1 day 的 instance 和 安第斯国际社会 是 "Andean Community of Nations" 的 conventional 全名 在 紧接 那个 时间位置 after holdsDuring
No TPTP formula. May not be expressible in strict first order.	Government.kif 2765-2769	时间位置 是 1996 year 的 instance 和 法语社区的代理机构 是 "Agency for the French-Speaking Community" 的 conventional 全名 在 紧接 那个 时间位置 after holdsDuring

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