(dateEstablished WorldFederationOfTradeUnions     (DayFn 3         (MonthFn October             (YearFn 1945))))	Government.kif 4338-4338	3 Day 是 世界工会联合会 的成立 date
(dateEstablished WorldFoodProgram     (DayFn 24         (MonthFn November             (YearFn 1961))))	Government.kif 4344-4344	24 Day 是 世界粮食计划 的成立 date
(dateEstablished WorldHealthOrganization     (DayFn 22         (MonthFn July             (YearFn 1946))))	Government.kif 4350-4350	22 Day 是 世界保健组织 的成立 date
(dateEstablished WorldIntellectualPropertyOrganization     (DayFn 14         (MonthFn July             (YearFn 1967))))	Government.kif 4356-4356	14 Day 是 世界知识产权组织 的成立 date
(dateEstablished WorldMeteorologicalOrganization     (DayFn 11         (MonthFn October             (YearFn 1947))))	Government.kif 4362-4362	11 Day 是 世界气象组织 的成立 date
(dateEstablished WorldTourismOrganization     (DayFn 2         (MonthFn January             (YearFn 1975))))	Government.kif 4368-4368	2 Day 是 世界旅游组织 的成立 date
(dateEstablished WorldTradeOrganization     (DayFn 15         (MonthFn April             (YearFn 1994))))	Government.kif 4374-4374	15 Day 是 世贸组织 的成立 date
(equal UnixEpoch     (SecondFn 0         (MinuteFn 0             (HourFn 0                 (DayFn 1                     (MonthFn January                         (YearFn 1970)))))))	QoSontology.kif 2143-2143	Unix时代 equal 0 second
(exists (?T)     (and         (instance ?T             (YearFn 1976))         (holdsDuring ?T             (coworker SteveJobsOfApple SteveWozniakOfApple))))	ComputingBrands.kif 2453-2457	有存在 时间位置 这样 那个 时间位置 是 1976 year 的 instance 和 斯蒂夫·沃兹尼亚克 是 史蒂芬·贾伯斯 的 coworker 在 那个 时间位置 holdsDuring
(exists (?T)     (and         (instance ?T             (YearFn 2002))         (holdsDuring ?T             (coworker SteveJobsOfApple TimCookOfApple))))	ComputingBrands.kif 2441-2445	有存在 时间位置 这样 那个 时间位置 是 2002 year 的 instance 和 提姆·库克 是 史蒂芬·贾伯斯 的 coworker 在 那个 时间位置 holdsDuring
(holdsDuring     (FutureFn ?T)     (and         (instance Serbia EuropeanNation)         (instance ?T             (DayFn 5                 (MonthFn June                     (YearFn 2006))))))	Media.kif 2501-2504	Serbia 是 欧洲国家 的 instance 和 时间位置 是 5 day 的 instance 在 那个 时间位置 之后 holdsDuring
(holdsDuring     (FutureFn ?T)     (and         (instance Serbia IndependentState)         (instance ?T             (DayFn 5                 (MonthFn June                     (YearFn 2006))))))	Media.kif 2496-2499	Serbia 是 独立国家 的 instance 和 时间位置 是 5 day 的 instance 在 那个 时间位置 之后 holdsDuring
(holdsDuring     (FutureFn ?T)     (and         (names "Republic of Serbia" Serbia)         (instance ?T             (DayFn 5                 (MonthFn June                     (YearFn 2006))))))	Media.kif 2506-2509	Serbia 的名 是 "Republic of Serbia" 和 时间位置 是 5 day 的 instance 在 那个 时间位置 之后 holdsDuring
(holdsDuring     (FutureFn ?TIME)     (and         (instance ?TIME             (DayFn 3                 (MonthFn June                     (YearFn 2006))))         (instance Montenegro EuropeanNation)))	Media.kif 2528-2531	时间位置 是 3 day 的 instance 和 Montenegro 是 欧洲国家 的 instance 在 那个 时间位置 之后 holdsDuring
(holdsDuring     (FutureFn ?TIME)     (and         (instance ?TIME             (DayFn 3                 (MonthFn June                     (YearFn 2006))))         (instance Montenegro IndependentState)))	Media.kif 2523-2526	时间位置 是 3 day 的 instance 和 Montenegro 是 独立国家 的 instance 在 那个 时间位置 之后 holdsDuring
(holdsDuring     (FutureFn ?TIME)     (and         (instance ?TIME             (DayFn 3                 (MonthFn June                     (YearFn 2006))))         (names "Montenegro" Montenegro)))	Media.kif 2533-2536	时间位置 是 3 day 的 instance 和 Montenegro 的名 是 "Montenegro" 在 那个 时间位置 之后 holdsDuring
(holdsDuring     (FutureFn ?TIME)     (and         (instance ?TIME             (DayFn 3                 (MonthFn June                     (YearFn 2006))))         (not             (instance SerbiaAndMontenegro IndependentState))))	Media.kif 2546-2550	时间位置 是 3 day 的 instance 和 塞尔维亚和黑山 不 是 独立国家 的 instance 在 那个 时间位置 之后 holdsDuring
(holdsDuring     (ImmediateFutureFn ?T)     (and         (instance ?T             (DayFn 1                 (MonthFn October                     (YearFn 1992))))         (conventionalLongName "Andean Community of Nations" AndeanCommunityOfNations)))	Government.kif 2791-2794	时间位置 是 1 day 的 instance 和 安第斯国际社会 是 "Andean Community of Nations" 的 conventional 全名 在 紧接 那个 时间位置 after holdsDuring
(holdsDuring     (ImmediateFutureFn ?TIME)     (and         (instance ?TIME             (YearFn 1996))         (conventionalLongName "Agency for the French-Speaking Community" AgencyForTheFrenchSpeakingCommunity)))	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