MonthFn - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2754-2759
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8575-8583
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1481-1487
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8571-8571	月函数的 1 数量是月的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8572-8572	月函数的 2 数量是年的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8569-8569	月函数是二元函数的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8570-8570	月函数是部分值关系的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8568-8568	月函数是时间关系的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8573-8573	月函数的所得值是月的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 467-467
No TPTP formula. May not be expressible in strict first order.	english_format.kif 473-473
No TPTP formula. May not be expressible in strict first order.	french_format.kif 270-270
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 194-194
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2060-2060
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 222-222
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 276-276
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 610-610
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 232-232
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 291-291
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 297-297
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 373-373
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9044-9044	月和月函数是内部相关
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38487-38487
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 468-468
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38486-38486
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38485-38485
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 374-374

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24236-24246	如果日是人类的 birthdate 和那个日是正整数 day 的 instance，然后有存在另一个有点日和整数这样那个人类的 birthday 是另一个有点日和那个另外有点日是日的 subclass 和那个整数是整数的 instance 和那个另外有点日 equal 那个正整数 day 和那个整数是 greaterThan 另一个整数
No TPTP formula. May not be expressible in strict first order.	Government.kif 612-617	如果正整数 day 是有点假日的 commemorates 日期和时距是有点假日的 instance 和另一个时距是整数 year 的 instance，然后那个时距 doesn't 比那个另外时距发生的earlier
No TPTP formula. May not be expressible in strict first order.	Government.kif 619-625	如果正整数 day 是有点假日的 commemorates 日期和实体是有点假日的 instance 和那个有点假日是固定假期的 subclass 和整数是 lessThanOrEqualTo 另一个实体-YEAR，然后那个实体是那个正整数 day 的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23916-23932	如果 Menopausal 是人类的 attribute 在时距 holdsDuring 和日是那个人类的 birthdate 和那个日是正整数 day 的 instance 和实数 equal (49 和整数) 和另一个实数 equal (52 和那个整数) 和时点 equal 那个时距的开始，然后那个时点是 greaterThan 那个实数和那个另外实数是 greaterThan 那个时点的声明 has 容易的语气
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8722-8729	如果时距是正整数 day 的 instance 和另一个时距是另一个正整数 day 的 instance 和时点 equal 那个时距的开始和另一个时点 equal 那个另外时距的开始和那个另外正整数是 greaterThan 那个正整数，然后那个时点%n在那个另外时点 before发生
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8731-8736	如果时距是正整数 day 的 instance 和另一个时距是另一个正整数 day 的 instance 和那个另外正整数是 greaterThan 那个正整数，然后那个时距比那个另外时距发生的earlier
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14837-14846	如果时间位置是正整数 day 的 instance 和另一个时间位置时段是 WeekBeforeFn 那个时间位置时段的一 part 和那个时间位置时段是 WeekAfterFn 那个另外时间位置时段的一 part，然后有存在另一个正整数这样那个另外时间位置是那个另外正整数 day 的 instance 和那个另外正整数 equal (那个正整数和 7)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8706-8713	如果时距是有点月 month 的 instance 和另一个时距是另一个有点月 month 的 instance 和时点 equal 那个时距的开始和另一个时点 equal 那个另外时距的开始和 successorClass 有点月 and 另一个有点月，然后那个时点%n在那个另外时点 before发生
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8715-8720	如果时距是有点月 month 的 instance 和另一个时距是另一个有点月 month 的 instance 和 successorClass 有点月 and 另一个有点月，然后那个时距比那个另外时距发生的earlier
No TPTP formula. May not be expressible in strict first order.	Biography.kif 69-85	如果过程是 BarMitzvah 的 instance 和人类是那个过程的 patient 和那个人类是男孩的 instance 和那个人类是群体的 member 和那个群体是犹太教的 instance 和日是那个人类的 birthdate 和那个日是正整数 day 的 instance，然后有存在整数和时间位置这样那个整数是整数的 instance 和那个整数 equal (另一个整数和 13) 和那个时间位置是那个正整数 day 的 instance 和那个过程出现的 time equal 紧接那个时间位置 after
No TPTP formula. May not be expressible in strict first order.	Biography.kif 99-115	如果过程是 BatMitzvah 的 instance 和人类是那个过程的 patient 和那个人类是女孩的 instance 和那个人类是群体的 member 和那个群体是犹太教的 instance 和日是那个人类的 birthdate 和那个日是正整数 day 的 instance，然后有存在整数和时间位置这样那个整数是整数的 instance 和那个整数 equal (另一个整数和 13) 和那个时间位置是那个正整数 day 的 instance 和那个过程出现的 time equal 紧接那个时间位置 after
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9073-9078	如果时距是二月 month 的 instance 和实体是那个实体EAR 的 instance 和那个实体是闰年的 instance，然后那个时距的 duration 是 29 一天长度
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9066-9071	如果时距是二月 month 的 instance 和实体是那个实体EAR 的 instance 和那个实体不是闰年的 instance，然后那个时距的 duration 是 28 一天长度
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9108-9112	如果时距是 A四月 month 的 instance 和另一个时距是五月 month 的 instance，然后那个时距接着那个另外时距
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9164-9168	如果时距是八月 month 的 instance 和另一个时距是九月 month 的 instance，然后那个时距接着那个另外时距
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9221-9228	如果时距是十二月 month 的 instance 和另一个时距是一月 month 的 instance 和第三时距是有点年的 instance 和第四时距是另一个有点年的 instance 和那个第三时距接着那个第四时距，然后那个时距接着那个另外时距
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9080-9084	如果时距是二月 month 的 instance 和另一个时距是三月 month 的 instance，然后那个时距接着那个另外时距
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9056-9060	如果时距是一月 month 的 instance 和另一个时距是二月 month 的 instance，然后那个时距接着那个另外时距
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9150-9154	如果时距是七月 month 的 instance 和另一个时距是八月 month 的 instance，然后那个时距接着那个另外时距
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9136-9140	如果时距是六月 month 的 instance 和另一个时距是七月 month 的 instance，然后那个时距接着那个另外时距
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9094-9098	如果时距是三月 month 的 instance 和另一个时距是 A四月 month 的 instance，然后那个时距接着那个另外时距
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9122-9126	如果时距是五月 month 的 instance 和另一个时距是六月 month 的 instance，然后那个时距接着那个另外时距
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9207-9211	如果时距是十一月 month 的 instance 和另一个时距是十二月 month 的 instance，然后那个时距接着那个另外时距
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9193-9197	如果时距是十月 month 的 instance 和另一个时距是十一月 month 的 instance，然后那个时距接着那个另外时距
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9179-9183	如果时距是九月 month 的 instance 和另一个时距是十月 month 的 instance，然后那个时距接着那个另外时距

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24236-24246	如果日是人类的 birthdate 和那个日是正整数 day 的 instance，然后有存在另一个有点日和整数这样那个人类的 birthday 是另一个有点日和那个另外有点日是日的 subclass 和那个整数是整数的 instance 和那个另外有点日 equal 那个正整数 day 和那个整数是 greaterThan 另一个整数
No TPTP formula. May not be expressible in strict first order.	Government.kif 619-625	如果正整数 day 是有点假日的 commemorates 日期和实体是有点假日的 instance 和那个有点假日是固定假期的 subclass 和整数是 lessThanOrEqualTo 另一个实体-YEAR，然后那个实体是那个正整数 day 的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14837-14846	如果时间位置是正整数 day 的 instance 和另一个时间位置时段是 WeekBeforeFn 那个时间位置时段的一 part 和那个时间位置时段是 WeekAfterFn 那个另外时间位置时段的一 part，然后有存在另一个正整数这样那个另外时间位置是那个另外正整数 day 的 instance 和那个另外正整数 equal (那个正整数和 7)
No TPTP formula. May not be expressible in strict first order.	Biography.kif 69-85	如果过程是 BarMitzvah 的 instance 和人类是那个过程的 patient 和那个人类是男孩的 instance 和那个人类是群体的 member 和那个群体是犹太教的 instance 和日是那个人类的 birthdate 和那个日是正整数 day 的 instance，然后有存在整数和时间位置这样那个整数是整数的 instance 和那个整数 equal (另一个整数和 13) 和那个时间位置是那个正整数 day 的 instance 和那个过程出现的 time equal 紧接那个时间位置 after
No TPTP formula. May not be expressible in strict first order.	Biography.kif 99-115	如果过程是 BatMitzvah 的 instance 和人类是那个过程的 patient 和那个人类是女孩的 instance 和那个人类是群体的 member 和那个群体是犹太教的 instance 和日是那个人类的 birthdate 和那个日是正整数 day 的 instance，然后有存在整数和时间位置这样那个整数是整数的 instance 和那个整数 equal (另一个整数和 13) 和那个时间位置是那个正整数 day 的 instance 和那个过程出现的 time equal 紧接那个时间位置 after
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24195-24206	如果物理是婚礼的 instance 和那个物理的 date 是日和那个日是正整数 day 的 instance，然后有存在另一个有点日和整数这样 weddingAnniversary 那个物理 and 另一个有点日和那个另外有点日是日的 subclass 和那个整数是整数的 instance 和那个另外有点日 equal 那个正整数 day 和那个整数是 greaterThan 另一个整数
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3003-3011	如果实体是 DeltaCovidVariant 的 instance 和那个实体是另一个实体的 part 和 Covid19 是那个另外实体的 attribute 在实数 holdsDuring，然后那个实数是 greaterThan 十二月 month

statement

No TPTP formula. May not be expressible in strict first order.	Geography.kif 3192-3192	1 Day 是南极条约的 agreement 采用日期
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3193-3193	?D 是 23 Day 的 instance 是南极条约的 agreement 生效日期
No TPTP formula. May not be expressible in strict first order.	Government.kif 2994-2994	31 Day 是出口管制协调委员会的闭幕 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 3009-3009	1 Day 是共同经济援助理事会的闭幕 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 4145-4145	25 Day 是联合国预防性部署部队的闭幕 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 4285-4285	1 Day 是华沙协议的闭幕 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 2750-2750	6 Day 是非洲加勒比和太平洋国家集团的成立 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 2757-2757	4 Day 是非洲开发银行的成立 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 2771-2771	20 Day 是法语社区的代理机构的成立 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 2778-2778	14 Day 是在拉丁美洲和加勒比地区禁止核武器的机构的成立 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 2796-2796	26 Day 是安第斯国际社会的成立 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 2801-2801	23 Day 是南极条约理事会的成立 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 2812-2812	18 Day 是阿拉伯非洲经济发展银行的成立 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 2818-2818	16 Day 是阿拉伯合作理事会的成立 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 2824-2824	16 Day 是阿拉伯经济和社会发展基金的成立 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 2833-2833	22 Day 是阿拉伯联盟的成立 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 2842-2842	17 Day 是阿拉伯马格里布联盟的成立 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 2851-2851	27 Day 是阿拉伯货币基金的成立 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 2857-2857	7 Day 是亚太经济合作的成立 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 2863-2863	19 Day 是亚洲开发银行的成立 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 2869-2869	8 Day 是东南亚国家联盟的成立 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 2889-2889	1 Day 是澳大利亚新西兰美国安全条约的成立 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 2895-2895	20 Day 是国际结算银行的成立 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 2901-2901	3 Day 是比荷卢经济联盟的成立 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 2921-2921	25 Day 是黑海经济合作区的成立 date

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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

KB Term:			Term intersection

English Word: