YearDuration - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2585-2585
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7136-7137
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1292-1292
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7135-7135	年持续时间是持续时间的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7134-7134	年持续时间是 UnitOfDuration 的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 8740-8740	年和年持续时间是内部相关
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63751-63751
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63750-63750
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63749-63749

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23889-23903	如果 Menopausal 是施事体的 attribute 在时距 holdsDuring 和实数 equal (1 年持续时间和那个时距的开始) 和另一个时距 equal 那个另外时距和那个时距的开始间的时段，然后不存在过程这样那个过程是经期的 instance 和那个施事体经历了那个过程
No TPTP formula. May not be expressible in strict first order.	Government.kif 1075-1084	如果选举是施事体的 election 的 instance 和过程是那个选举的 voting 的 instance 和另一个施事体是那个过程的 agent 和实数年持续时间是那个施事体的 suffrage 最大年纪和那个另外施事体的 age 是另一个实数年持续时间，然后那个另外实数是 lessThanOrEqualTo 那个实数
No TPTP formula. May not be expressible in strict first order.	Government.kif 1062-1073	如果选举是施事体的 election 的 instance 和过程是那个选举的 voting 的 instance 和另一个施事体是那个过程的 agent 和实数年持续时间是那个施事体的 suffrage 最大年纪，然后有存在另一个实数这样那个另外施事体的 age 是那个另外实数年持续时间和那个另外实数是 lessThanOrEqualTo 那个实数
No TPTP formula. May not be expressible in strict first order.	Government.kif 1003-1012	如果选举是施事体的 election 的 instance 和过程是那个选举的 voting 的 instance 和另一个施事体是那个过程的 agent 和实数年持续时间是那个施事体的 suffrage 最小年纪和那个另外施事体的 age 是另一个实数年持续时间，然后那个另外实数是 greaterThanOrEqualTo 那个实数
No TPTP formula. May not be expressible in strict first order.	Government.kif 990-1001	如果选举是施事体的 election 的 instance 和过程是那个选举的 voting 的 instance 和另一个施事体是那个过程的 agent 和实数年持续时间是那个施事体的 suffrage 最小年纪，然后有存在另一个实数这样那个另外施事体的 age 是那个另外实数年持续时间和那个另外实数是 greaterThanOrEqualTo 那个实数
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 342-348	如果实体是人类的 instance 和那个实体的 age 是实数年持续时间在时间位置 holdsDuring 和那个实数是 greaterThan 12 和那个实数是 lessThan 20，然后那个实体是青少年的 instance 在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 219-225	如果实体是人类的 instance 和那个实体的 age 是实数年持续时间在时间位置 holdsDuring 和那个实数是 greaterThanOrEqualTo 18，然后那个实体是人类成人的 instance 在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 269-274	如果实体是人类的 instance 和那个实体的 age 是实数年持续时间在时间位置 holdsDuring 和那个实数是 lessThan 18，然后那个实体是人类青年的 instance 在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 392-397	如果实体是人类的 instance 和那个实体的 age 是实数年持续时间在时间位置 holdsDuring 和那个实数是 lessThanOrEqualTo 1，然后那个实体是人类宝贝的 instance 在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 311-318	如果实体是人类的 instance 和那个实体的 age 是实数年持续时间在时间位置 holdsDuring 和那个实数是 lessThanOrEqualTo 14，然后那个实体是人类的孩子的 instance 在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1497-1502	如果协议是银行定期贷款的 instance 和时距是那个协议的 agreement 週期和那个时距的 duration 是实数年持续时间，然后那个实数是 greaterThanOrEqualTo 1
No TPTP formula. May not be expressible in strict first order.	Military.kif 852-860	如果实数年持续时间是地缘政治区域的 military 年纪和那个地缘政治区域是军事组织的 military 区域和物理是那个军事组织的 member 和那个物理的 age 是另一个实数年持续时间，然后那个另外实数是 greaterThanOrEqualTo 那个实数
No TPTP formula. May not be expressible in strict first order.	Military.kif 840-850	如果实数年持续时间是地缘政治区域的 military 年纪和那个地缘政治区域是军事组织的 military 区域和物理是那个军事组织的 member，然后有存在另一个实数这样那个物理的 age 是那个另外实数年持续时间和那个另外实数是 greaterThanOrEqualTo 那个实数
No TPTP formula. May not be expressible in strict first order.	Law.kif 573-588	如果协议是有认知的主事的 party 协议和过程是有意图过程的 instance 和那个过程是 located 在地缘政治区域和那个地缘政治区域是地缘政治区域的 instance 和 ageOfMajorityForProcess 实数年持续时间, 那个地缘政治区域 and 那个过程和内容承载物理是那个过程的 result 和那个内容承载物理是那个协议的 record 和合法是那个协议的 attribute，然后那个有认知的主事的 age 是那个实数2 年持续时间和那个实数2 是 greaterThan 那个实数在那个过程出现的 time holdsDuring
No TPTP formula. May not be expressible in strict first order.	Law.kif 554-571	如果协议是有认知的主事的 party 协议和过程是有意图过程的 instance 和那个过程是 located 在地缘政治区域和那个地缘政治区域是国家的 instance 和那个过程是 located 在那个地缘政治区域2 和那个地缘政治区域2 是地缘政治区域的 instance 和 ageOfMajorityForProcess 实数年持续时间, 那个地缘政治区域 and 那个过程和内容承载物理是那个过程的 result 和那个内容承载物理是那个协议的 record 和那个有认知的主事的 age 是实体年持续时间和那个实体是 greaterThan 那个实数在那个过程出现的 time holdsDuring，然后合法是那个协议的 attribute
No TPTP formula. May not be expressible in strict first order.	Government.kif 1176-1189	如果强制选举法是国家的 regional 法律的 subProposition 和人类是那个国家的 citizen 和实数年持续时间是那个国家的 suffrage 最小年纪和那个人类的 age 是另一个实数年持续时间和那个另外实数是 greaterThanOrEqualTo 那个实数和选举是那个国家的 election 的 instance，然后有存在过程这样那个过程是那个选举的 voting 的 instance 和那个人类是那个过程的 agent
No TPTP formula. May not be expressible in strict first order.	Government.kif 1120-1130	如果普选法是国家的 regional 法律的 subProposition 和人类是那个国家的 citizen 和实数年持续时间是那个国家的 suffrage 最小年纪和那个人类的 age 是另一个实数年持续时间和那个另外实数是 greaterThanOrEqualTo 那个实数和选举是那个国家的 election 的 instance，然后那个人类能够担当主事的角色做那个选举的 voting
No TPTP formula. May not be expressible in strict first order.	Government.kif 1052-1060	如果实数年持续时间是施事体的 suffrage 最大年纪和选举是那个施事体的 election 的 instance 和客体能够担当主事的角色做那个选举的 voting 和那个客体的 age 是另一个实数年持续时间，然后那个另外实数是 lessThanOrEqualTo 那个实数
No TPTP formula. May not be expressible in strict first order.	Government.kif 1040-1050	如果实数年持续时间是施事体的 suffrage 最大年纪和选举是那个施事体的 election 的 instance 和客体能够担当主事的角色做那个选举的 voting ，然后有存在另一个实数这样那个客体的 age 是那个另外实数年持续时间和那个另外实数是 lessThanOrEqualTo 那个实数
No TPTP formula. May not be expressible in strict first order.	Government.kif 980-988	如果实数年持续时间是施事体的 suffrage 最小年纪和选举是那个施事体的 election 的 instance 和客体能够担当主事的角色做那个选举的 voting 和那个客体的 age 是另一个实数年持续时间，然后那个另外实数是 greaterThanOrEqualTo 那个实数
No TPTP formula. May not be expressible in strict first order.	Government.kif 968-978	如果实数年持续时间是施事体的 suffrage 最小年纪和选举是那个施事体的 election 的 instance 和客体能够担当主事的角色做那个选举的 voting ，然后有存在另一个实数这样那个客体的 age 是那个另外实数年持续时间和那个另外实数是 greaterThanOrEqualTo 那个实数
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1078-1082	如果人类是 WebSite 的 underage user 和那个人类的 age 是实数年持续时间，然后那个实数是 greaterThanOrEqualTo 18
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 193-199	如果实体是人类成人的 instance 和那个实体的 age 是实数年持续时间在时间位置 holdsDuring，然后那个实数是 greaterThanOrEqualTo 18
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 375-380	如果实体是人类宝贝的 instance 和那个实体的 age 是实数年持续时间在时间位置 holdsDuring，然后那个实数是 lessThanOrEqualTo 1
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 294-299	如果实体是人类的孩子的 instance 和那个实体的 age 是实数年持续时间在时间位置 holdsDuring，然后那个实数是 lessThanOrEqualTo 14

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.	People.kif 357-390	年是那个年EAR year 的 instance 和地缘政治区域和那个年的 male 出生估计寿命 equal 实数若且唯若有存在串列，另一个整数,，，符号串,，，实体,，，另一个实体， and 和第三实体这样那个串列是串列的 instance 和那个串列的长度是那个另外整数的 instance 和对所有那个串列ITEM 如果那个串列ITEM 是那个串列的 member，然后那个串列ITEM 是那个符号串的 instance 和不存在第五实体这样那个第五实体是那个符号串的 instance 和那个第五实体不是那个串列的 member 和那个另外整数 equal 那个符号串所描述的类别 instance 的数量和那个实数是那个串列的 average
No TPTP formula. May not be expressible in strict first order.	People.kif 238-264	年是整数 year 的 instance 和地缘政治区域和那个年每一千个生存出生里的 deaths equal 实数若且唯若另一个整数 equal 符号串所描述的类别 instance 的数量和那个另外整数和 1000 equal 另一个实数和第三整数 equal 另一个符号串所描述的类别 instance 的数量和那个第三整数和那个另外实数 equal 那个实数
No TPTP formula. May not be expressible in strict first order.	People.kif 403-436	年是整数 year 的 instance 和地缘政治区域和那个年的 female 出生预期寿命 equal 实数若且唯若有存在串列，另一个整数,，，符号串,，，实体,，，另一个实体， and 和第三实体这样那个串列是串列的 instance 和那个串列的长度是那个另外整数的 instance 和对所有那个串列ITEM 如果那个串列ITEM 是那个串列的 member，然后那个串列ITEM 是那个符号串的 instance 和不存在第五实体这样那个第五实体是那个符号串的 instance 和那个第五实体不是那个串列的 member 和那个另外整数 equal 那个符号串所描述的类别 instance 的数量和那个实数是那个串列的 average
No TPTP formula. May not be expressible in strict first order.	People.kif 310-342	年是整数 year 的 instance 和地缘政治区域和那个年的出生预期 life equal 实数若且唯若有存在串列，另一个整数,，，符号串,，，实体,，，另一个实体， and 和第三实体这样那个串列是串列的 instance 和那个串列的长度是那个另外整数的 instance 和对所有那个串列ITEM 如果那个串列ITEM 是那个串列的 member，然后那个串列ITEM 是那个符号串的 instance 和不存在第五实体这样那个第五实体是那个符号串的 instance 和那个第五实体不是那个串列的 member 和那个另外整数 equal 那个符号串所描述的类别 instance 的数量和那个实数是那个串列的 average
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18728-18737	如果大学新生是地位的 attribute 和人类在机构任职那个地位，然后有存在实数这样那个人类是那个机构的 student 在那个实数年持续时间 holdsDuring 和那个实数是 lessThan 1
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18743-18753	如果大学三年级是地位的 attribute 和人类在机构任职那个地位，然后有存在实数这样那个人类是那个机构的 student 在那个实数年持续时间 holdsDuring 和那个实数是 greaterThanOrEqualTo 2 和那个实数是 lessThan 3
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18759-18769	如果大学高年级是地位的 attribute 和人类在机构任职那个地位，然后有存在实数这样那个人类是那个机构的 student 在那个实数年持续时间 holdsDuring 和那个实数是 greaterThanOrEqualTo 3 和那个实数是 lessThan 4
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18775-18785	如果大学二年级学生是地位的 attribute 和人类在机构任职那个地位，然后有存在实数这样那个人类是那个机构的 student 在那个实数年持续时间 holdsDuring 和那个实数是 greaterThanOrEqualTo 1 和那个实数是 lessThan 2
No TPTP formula. May not be expressible in strict first order.	Government.kif 1132-1152	如果人类是国家的 citizen 和普选法是那个国家的 regional 法律的 subProposition，然后那个国家的 regional 法律允许那个人类执行对所有实体，另一个实体， and 和第三实体如果那个人类是那个国家的 citizen 和那个实体年持续时间是那个国家的 suffrage 最小年纪和那个人类的 age 是那个另外实体年持续时间和那个另外实体是 greaterThanOrEqualTo 那个实体和那个第三实体是那个国家的 election 的 instance，然后有存在第四实体这样那个第四实体是那个第三实体的 voting 的 instance 和那个人类是那个第四实体的 agent 的任务
No TPTP formula. May not be expressible in strict first order.	Government.kif 1062-1073	如果选举是施事体的 election 的 instance 和过程是那个选举的 voting 的 instance 和另一个施事体是那个过程的 agent 和实数年持续时间是那个施事体的 suffrage 最大年纪，然后有存在另一个实数这样那个另外施事体的 age 是那个另外实数年持续时间和那个另外实数是 lessThanOrEqualTo 那个实数
No TPTP formula. May not be expressible in strict first order.	Government.kif 990-1001	如果选举是施事体的 election 的 instance 和过程是那个选举的 voting 的 instance 和另一个施事体是那个过程的 agent 和实数年持续时间是那个施事体的 suffrage 最小年纪，然后有存在另一个实数这样那个另外施事体的 age 是那个另外实数年持续时间和那个另外实数是 greaterThanOrEqualTo 那个实数
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21147-21177	如果命题是争论的 instance 和过程是推理的 instance 和另一个命题是 Archeology 的 instance 和那个命题是那个另外命题的 subProposition 和那个过程表示那个命题的内容，然后有存在另一个过程，实体,，，物理,，，实数,，，另一个实体， and 和第三实体这样那个另外过程是发现的 instance 和那个物理是客体的 instance 和那个物理是那个另外过程的 patient 和那个过程提到那个另外过程和那个另外过程出现的 time 比那个过程出现的 time发生的earlier 和那个物理的 age 是那个实数年持续时间和那个实数是 greaterThan 50 和那个实体是那个另外实体的 surface 和那个另外实体是水体的 instance 和那个物理在那个实体的下面或那个实体是那个第三实体的 surface 和那个第三实体是土地面积的 instance 和那个物理在那个实体的下面在紧接那个另外过程出现的 time before holdsDuring
No TPTP formula. May not be expressible in strict first order.	Military.kif 840-850	如果实数年持续时间是地缘政治区域的 military 年纪和那个地缘政治区域是军事组织的 military 区域和物理是那个军事组织的 member，然后有存在另一个实数这样那个物理的 age 是那个另外实数年持续时间和那个另外实数是 greaterThanOrEqualTo 那个实数
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2925-2940	如果 HotelReservation 是对于整数 seniors 和施事体 fulfills 那个 HotelReservation ，然后有存在群体和实数这样那个群体是一群人的 instance 和对所有物理如果那个物理是那个群体的 member，然后那个物理是人类成人的 instance 和那个物理的 age 是那个实数年持续时间和那个实数是 greaterThanOrEqualTo 60 和那个整数是那个群体的 member 计数和那个群体是个 potential customer 对于那个施事体
No TPTP formula. May not be expressible in strict first order.	Law.kif 573-588	如果协议是有认知的主事的 party 协议和过程是有意图过程的 instance 和那个过程是 located 在地缘政治区域和那个地缘政治区域是地缘政治区域的 instance 和 ageOfMajorityForProcess 实数年持续时间, 那个地缘政治区域 and 那个过程和内容承载物理是那个过程的 result 和那个内容承载物理是那个协议的 record 和合法是那个协议的 attribute，然后那个有认知的主事的 age 是那个实数2 年持续时间和那个实数2 是 greaterThan 那个实数在那个过程出现的 time holdsDuring
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6393-6404	如果 sheddingLeaves 植物 and PlantLeaf 和那个植物是 DeciduousTree 的 instance 和那个 PlantLeaf 是 PlantLeaf 的 instance，然后有存在有点过程和另一个过程这样有点过程是移除的 subclass 和那个有点过程每年持续时间发生一次和那个另外过程是那个有点过程的 instance 和那个植物是那个另外过程的源头和那个 PlantLeaf 是那个另外过程的 patient
No TPTP formula. May not be expressible in strict first order.	Government.kif 1211-1231	如果强制选举法是国家的 regional 法律的 subProposition 和人类是那个国家的 citizen，然后那个国家的 regional 法律要求那个人类执行对所有实体，另一个实体， and 和第三实体如果那个人类是那个国家的 citizen 和那个实体年持续时间是那个国家的 suffrage 最小年纪和那个人类的 age 是那个另外实体年持续时间和那个另外实体是 greaterThanOrEqualTo 那个实体和那个第三实体是那个国家的 election 的 instance，然后有存在第四实体这样那个第四实体是那个第三实体的 voting 的 instance 和那个人类是那个第四实体的 agent 的任务
No TPTP formula. May not be expressible in strict first order.	Government.kif 1040-1050	如果实数年持续时间是施事体的 suffrage 最大年纪和选举是那个施事体的 election 的 instance 和客体能够担当主事的角色做那个选举的 voting ，然后有存在另一个实数这样那个客体的 age 是那个另外实数年持续时间和那个另外实数是 lessThanOrEqualTo 那个实数
No TPTP formula. May not be expressible in strict first order.	Government.kif 968-978	如果实数年持续时间是施事体的 suffrage 最小年纪和选举是那个施事体的 election 的 instance 和客体能够担当主事的角色做那个选举的 voting ，然后有存在另一个实数这样那个客体的 age 是那个另外实数年持续时间和那个另外实数是 greaterThanOrEqualTo 那个实数
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3744-3746	如果时距 equal 施事体和有点年的 fiscal 开始年分，然后那个时距的 duration 是 1 年持续时间
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13683-13687	如果实数 equal 1 和那个实数，然后那个实数 MillenniumDuration equal 那个实数和 1000 年持续时间
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19064-19068	如果实数 equal 1 和那个实数，然后那个实数 CenturyDuration equal 那个实数和 100 年持续时间
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8759-8763	如果实数 equal 1 和那个实数，然后那个实数 DecadeDuration equal 那个实数和 10 年持续时间
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 382-390	如果实体是人类宝贝的 instance 在时间位置 holdsDuring，然后有存在另一个实体这样那个实体的 age 是那个另外实体在那个时间位置 holdsDuring 和那个另外实体是由 0 年持续时间和 1 年持续时间之间的值的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 201-209	如果实体是人类成人的 instance 在时间位置 holdsDuring，然后有存在另一个实体这样那个实体的 age 是那个另外实体在那个时间位置 holdsDuring 和那个另外实体是由 18 年持续时间和 120 年持续时间之间的值的 instance

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement

No TPTP formula. May not be expressible in strict first order.	Government.kif 1092-1103	对所有 ?POLITY， ?AGENT,，， ?ELECTION,，， ?VOTINGAGE， and 和 ?AGE 如果 ?AGENT 是 ?POLITY 的 citizen 和 ?VOTINGAGE 年持续时间是 ?POLITY 的 suffrage 最小年纪和 ?AGENT 的 age 是 ?AGE 年持续时间和 ?AGE 是 greaterThanOrEqualTo ?VOTINGAGE 和 ?ELECTION 是 ?POLITY 的 election 的 instance，然后 ?AGENT 能够担当主事的角色做 ?ELECTION 的 voting contains 普选法的资料
No TPTP formula. May not be expressible in strict first order.	Government.kif 1160-1174	对所有 ?POLITY， ?VOTER,，， ?ELECTION,，， ?VOTINGAGE， and 和 ?AGE 如果 ?VOTER 是 ?POLITY 的 citizen 和 ?VOTINGAGE 年持续时间是 ?POLITY 的 suffrage 最小年纪和 ?VOTER 的 age 是 ?AGE 年持续时间和 ?AGE 是 greaterThanOrEqualTo ?VOTINGAGE 和 ?ELECTION 是 ?POLITY 的 election 的 instance，然后有存在 ?VOTING 这样 ?VOTING 是 ?ELECTION 的 voting 的 instance 和 ?VOTER 是 ?VOTING 的 agent contains 强制选举法的资料
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7139-7141	1 年持续时间 equal 365 一天长度

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: