TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2635-2636
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7521-7522
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1350-1351
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7519-7519	年龄的 2 数量是持续时间的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7518-7518	年龄是二元谓语的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7516-7516	年龄是单值关系的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7517-7517	年龄是计量的 subrelation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 611-611
No TPTP formula. May not be expressible in strict first order.	english_format.kif 614-614
No TPTP formula. May not be expressible in strict first order.	french_format.kif 370-370
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 21-21
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2104-2104
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 322-322
No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 55-55
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 800-800
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 66-66
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 392-392
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 411-411
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 58-58
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 612-612
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5795-5795
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5794-5794
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 59-59

antecedent

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 1003-1012	如果选举是施事体的 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.	Economy.kif 4962-4968	如果客体是羊肉的 instance 和那个客体是另一个客体的 part 和那个另外客体是羊的 instance 和那个另外客体的 age 是实数月持续时间，然后那个实数是 greaterThanOrEqualTo 12
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7524-7528	如果时点是时点的 instance 和物理的 age 是持续时间在那个时点 holdsDuring，然后那个物理出现的 time 的开始和那个时点间的时段的 duration 是那个持续时间
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.	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 980-988	如果实数年持续时间是施事体的 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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 323-330	如果实体是青少年的 instance 和那个实体的 age 是实数年持续时间在时间位置 holdsDuring，然后那个实数是 greaterThan 12 和那个实数是 lessThan 20
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 252-257	如果实体是人类青年的 instance 和那个实体的 age 是实数年持续时间在时间位置 holdsDuring，然后那个实数是 lessThan 18

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.	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.	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.	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 301-309	如果实体是人类的孩子的 instance 在时间位置 holdsDuring，然后有存在另一个实体这样那个实体的 age 是那个另外实体在那个时间位置 holdsDuring 和那个另外实体是由 0 年持续时间和 14 年持续时间之间的值的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 259-267	如果实体是人类青年的 instance 在时间位置 holdsDuring，然后有存在另一个实体这样那个实体的 age 是那个另外实体在那个时间位置 holdsDuring 和那个另外实体是由 0 年持续时间和 17 年持续时间之间的值的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 332-340	如果实体是青少年的 instance 在时间位置 holdsDuring，然后有存在另一个实体这样那个实体的 age 是那个另外实体在那个时间位置 holdsDuring 和那个另外实体是由 13 年持续时间和 19 年持续时间之间的值的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16248-16257	如果群体是同龄群组的 instance，然后对所有物理，另一个物理,，，持续时间， and 和另一个持续时间如果那个物理是那个群体的 member 和那个另外物理是那个群体的 member 和那个物理的 age 是那个持续时间和那个另外物理的 age 是那个另外持续时间，然后那个持续时间 equal 那个另外持续时间
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 405-411	如果客体是另一个客体的 older ，然后有存在实数，另一个实数， and 和测量单位这样那个另外客体的 age 是那个实数那个测量单位和那个客体的 age 是那个另外实数那个测量单位和那个实数是 greaterThan 那个另外实数
No TPTP formula. May not be expressible in strict first order.	Government.kif 1191-1209	如果强制选举法是地缘政治区域的 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 1106-1118	如果普选法是国家的 regional 法律的 subProposition，然后对所有人类，选举,，，实数， and 和另一个实数如果那个人类是那个国家的 citizen 和那个实数年持续时间是那个国家的 suffrage 最小年纪和那个人类的 age 是那个另外实数年持续时间和那个另外实数是 greaterThanOrEqualTo 那个实数和那个选举是那个国家的 election 的 instance，然后那个人类能够担当主事的角色做那个选举的 voting

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.	Military.kif 872-881	地缘政治区域的 available 军事服务男性 equal 符号串所描述的类别 instance 的数量
No TPTP formula. May not be expressible in strict first order.	Military.kif 895-906	地缘政治区域的 fit 对于军服务男性 equal 符号串所描述的类别 instance 的数量
No TPTP formula. May not be expressible in strict first order.	Military.kif 933-946	地缘政治区域和年每年的 reaching 军事男性年龄 equal 符号串所描述的类别 instance 的数量

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

KB Term:			Term intersection

English Word: