TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2781-2781
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8742-8742
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1511-1511
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.	Merge.kif 8739-8739	年和年函数是内部相关
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8738-8738	年是时距的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 8556-8556	年函数的所得值是年的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8995-8995	闰年是年的 subclass
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1274-1274
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63744-63744
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1765-1765
No TPTP formula. May not be expressible in strict first order.	french_format.kif 952-952
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 487-487
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 491-491
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2636-2636
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 904-904
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 527-527
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 973-973
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 492-492

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	People.kif 70-70	每千人分娩的 2 数量是年的 instance
No TPTP formula. May not be expressible in strict first order.	People.kif 442-442	每个女人出生的孩子的 2 数量是年的 instance
No TPTP formula. May not be expressible in strict first order.	People.kif 103-103	每千人死亡的 2 数量是年的 instance
No TPTP formula. May not be expressible in strict first order.	People.kif 229-229	每千名活产婴儿死亡人数的 2 数量是年的 instance
No TPTP formula. May not be expressible in strict first order.	People.kif 395-395	女性出生时的预期寿命的 2 数量是年的 instance
No TPTP formula. May not be expressible in strict first order.	People.kif 298-298	出生时的预期寿命的 2 数量是年的 instance
No TPTP formula. May not be expressible in strict first order.	People.kif 347-347	男性出生时的预期寿命的 2 数量是年的 instance
No TPTP formula. May not be expressible in strict first order.	People.kif 139-139	每千人移民的 2 数量是年的 instance
No TPTP formula. May not be expressible in strict first order.	People.kif 37-37	人口增长的 2 数量是年的 instance
No TPTP formula. May not be expressible in strict first order.	Military.kif 925-925	每年达到军龄的男性的 2 数量是年的 instance
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3724-3724	财政年度开始的 2 数量是年的 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 8969-8969	QuarterFn 的 2 数量是年的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8951-8951	WeekFn 的 2 数量是年的 subclass
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 744-744	lastRenovation 的 2 数量是年的 subclass
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 723-723	yearBuilt 的 2 数量是年的 subclass

antecedent

No TPTP formula. May not be expressible in strict first order.	Economy.kif 2112-2121	如果地缘政治区域是对于有点时距在其间物理量的 electricity 消耗和有点时距是年的 subclass 或那个有点时距是那个地缘政治区域的 fiscal 年的 subclass，然后有存在时间位置这样那个时间位置是那个有点时距的 instance 和那个物理量是那个地缘政治区域的 annual 电力消耗在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2156-2165	如果地缘政治区域是对于有点时距在周期物理量的 electricity 输出和有点时距是年的 subclass 或那个有点时距是那个地缘政治区域的 fiscal 年的 subclass，然后有存在时间位置这样那个时间位置是那个有点时距的 instance 和那个物理量是那个地缘政治区域的 annual 电力输出在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2202-2211	如果地缘政治区域是对于有点时距在周期物理量的 electricity 输出和有点时距是年的 subclass 或那个有点时距是那个地缘政治区域的 fiscal 年的 subclass，然后有存在时间位置这样那个时间位置是那个有点时距的 instance 和那个物理量是那个地缘政治区域 annual 的电力输入在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1980-1989	如果地缘政治区域是对于有点时距在周期物理量的 electricity 生产和有点时距是年的 subclass 或那个有点时距是那个地缘政治区域的 fiscal 年的 subclass，然后有存在时间位置这样那个时间位置是那个有点时距的 instance 和那个物理量是那个地缘政治区域的 annual 电力生产在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2277-2286	如果地缘政治区域对于有点时距在周期货币测量 export 全部和有点时距是年的 subclass 或那个有点时距是那个地缘政治区域的 fiscal 年的 subclass，然后有存在时间位置这样那个时间位置是那个有点时距的 instance 和那个货币测量是那个地缘政治区域的 annual 总共输出在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2123-2130	如果物理量是地缘政治区域的 annual 电力消耗在时间位置 holdsDuring 和那个时间位置是有点时距的 instance 和有点时距是年的 subclass 或那个有点时距是那个地缘政治区域的 fiscal 年的 subclass，然后那个地缘政治区域是对于那个有点时距在其间那个物理量的 electricity 消耗
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2167-2174	如果物理量是地缘政治区域的 annual 电力输出在时间位置 holdsDuring 和那个时间位置是有点时距的 instance 和有点时距是年的 subclass 或那个有点时距是那个地缘政治区域的 fiscal 年的 subclass，然后那个地缘政治区域是对于那个有点时距在周期那个物理量的 electricity 输出
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2213-2220	如果物理量是地缘政治区域 annual 的电力输入在时间位置 holdsDuring 和那个时间位置是有点时距的 instance 和有点时距是年的 subclass 或那个有点时距是那个地缘政治区域的 fiscal 年的 subclass，然后那个地缘政治区域是对于那个有点时距在周期那个物理量的 electricity 输出
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1991-1998	如果物理量是地缘政治区域的 annual 电力生产在时间位置 holdsDuring 和那个时间位置是有点时距的 instance 和有点时距是年的 subclass 或那个有点时距是那个地缘政治区域的 fiscal 年的 subclass，然后那个地缘政治区域是对于那个有点时距在周期那个物理量的 electricity 生产
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2288-2295	如果货币测量是地缘政治区域的 annual 总共输出在时间位置 holdsDuring 和那个时间位置是有点时距的 instance 和有点时距是年的 subclass 或那个有点时距是那个地缘政治区域的 fiscal 年的 subclass，然后那个地缘政治区域对于那个有点时距在周期那个货币测量 export 全部
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2594-2601	如果货币测量是地缘政治区域的 annual 总共输入在时间位置 holdsDuring 和那个时间位置是有点时距的 instance 和有点时距是年的 subclass 或那个有点时距是那个地缘政治区域的 fiscal 年的 subclass，然后那个地缘政治区域对于那个有点时距在周期那个货币测量 import 全部
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2583-2592	如果地缘政治区域对于有点时距在周期货币测量 import 全部和有点时距是年的 subclass 或那个有点时距是那个地缘政治区域的 fiscal 年的 subclass，然后有存在时间位置这样那个时间位置是那个有点时距的 instance 和那个货币测量是那个地缘政治区域的 annual 总共输入在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Media.kif 437-444	如果时距是 EasterSunday 的 instance 和另一个时距是 Lent 的 instance 和那个另外时距接着那个时距和那个时距在第三时距时段内发生和那个第三时距是年的 instance，然后那个另外时距在那个第三时距时段内发生
No TPTP formula. May not be expressible in strict first order.	Media.kif 446-453	如果时距是 EasterSunday 的 instance 和另一个时距是 Lent 的 instance 和那个另外时距接着那个时距和那个另外时距在第三时距时段内发生和那个第三时距是年的 instance，然后那个时距在那个第三时距时段内发生
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3738-3742	如果施事体是施事体的 instance 和有点年是年的 subclass，然后那个施事体和有点年的 fiscal 开始年分是那个施事体的 fiscal 年的 instance
No TPTP formula. May not be expressible in strict first order.	Media.kif 387-394	如果时距是 Advent 的 instance 和另一个时距是 ChristmasDay 的 instance 和那个时距在第三时距时段内发生和那个第三时距是年的 instance 和那个时距接着那个另外时距，然后那个另外时距在那个第三时距时段内发生
No TPTP formula. May not be expressible in strict first order.	Media.kif 396-403	如果时距是 Advent 的 instance 和另一个时距是 ChristmasDay 的 instance 和那个另外时距在第三时距时段内发生和那个第三时距是年的 instance 和那个时距接着那个另外时距，然后那个时距在那个第三时距时段内发生
No TPTP formula. May not be expressible in strict first order.	Media.kif 538-547	如果时距是年的 instance 和另一个时距是 EasterSunday 的 instance 和第三时距是 AscensionThursday 的 instance 和那个另外时距在那个时距时段内发生和那个第三时距在那个时距时段内发生和那个另外时距 starts了才到第四时距和那个第三时距 finishes了才到那个第四时距，然后那个第四时距的 duration 是 40 一天长度
No TPTP formula. May not be expressible in strict first order.	Media.kif 473-482	如果时距是年的 instance 和另一个时距是 EasterSunday 的 instance 和第三时距是 PalmSunday 的 instance 和那个另外时距在那个时距时段内发生和那个第三时距在那个时距时段内发生和那个第三时距 starts了才到第四时距和那个另外时距 finishes了才到那个第四时距，然后那个第四时距的 duration 是 8 一天长度
No TPTP formula. May not be expressible in strict first order.	Media.kif 559-568	如果时距是年的 instance 和另一个时距是 EasterSunday 的 instance 和第三时距是 Pentecost 的 instance 和那个另外时距在那个时距时段内发生和那个第三时距在那个时距时段内发生和那个另外时距 starts了才到第四时距和那个第三时距 finishes了才到那个第四时距，然后那个第四时距的 duration 是 50 一天长度
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8744-8746	如果时距是年的 instance，然后那个时距的 duration 是 1 年持续时间
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9459-9461	如果时距是年的 instance，然后分拆那个时距为的月 instance 的数量 equal 12

consequent

No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 204-223	如果穆斯林是施事体的 attribute 和属于那个施事体的资产值 equal 货币测量，然后有存在实体，另一个实体,，，第三实体,，，第四实体， and 和第五实体这样那个实体是天课的 instance 和那个第四实体是年的 instance 和那个第四实体在那个施事体出现的 time 时段内发生和完全成型是那个施事体的 attribute 在那个第四实体 holdsDuring 和那个施事体是那个实体的 agent 和那个另外实体是那个实体的 patient 和那个另外实体的价值是那个第五实体那个第三实体和那个第三实体是 UnitOfCurrency 的 instance 和那个第五实体是 greaterThan 那个货币测量和 0.025 的声明 has 义务的语气
No TPTP formula. May not be expressible in strict first order.	Media.kif 376-385	如果时距是 Advent 的 instance 和另一个时距是 ChristmasDay 的 instance 和那个时距接着那个另外时距，然后有存在第三时距这样那个第三时距是年的 instance 和那个时距在那个第三时距时段内发生和那个另外时距在那个第三时距时段内发生
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 229-237	如果时距是开斋节的 instance，然后有存在另一个时距和第三时距这样那个另外时距是斋月的 instance 和那个第三时距是年的 instance 和那个另外时距在那个第三时距时段内发生和那个时距在那个第三时距时段内发生和那个另外时距%n在那个时距 before发生

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

Show without tree

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: