TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2807-2807
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9234-9234
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1548-1548
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5948-5948
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6343-6343
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6344-6344
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6345-6345
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6346-6346
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9232-9232	日和一天长度是内部相关
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9231-9231	日和日函数是内部相关
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9230-9230	日是时距的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 8590-8590	日函数的所得值是日的 subclass
No TPTP formula. May not be expressible in strict first order.	Media.kif 335-335	ChristmasDay 是日的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9282-9282	星期五是日的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9240-9240	星期一是日的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9295-9295	星期六是日的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9308-9308	星期日是日的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9269-9269	星期四是日的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9243-9243	星期二是日的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9256-9256	星期三是日的 subclass
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1289-1289
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1795-1795
No TPTP formula. May not be expressible in strict first order.	french_format.kif 967-967
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 502-502
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 506-506
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2651-2651
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 919-919
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 508-508
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 542-542
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 988-988
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 507-507

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Merge.kif 8834-8834	AfternoonFn 的 1 数量是日的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8934-8934	EveningFn 的 1 数量是日的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8818-8818	MorningFn 的 1 数量是日的 instance
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3808-3808	可用余额的 2 数量是日的 instance
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3831-3831	可用现金的 2 数量是日的 instance
No TPTP formula. May not be expressible in strict first order.	Biography.kif 175-175	baptizeddate 的 2 数量是日的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24268-24268	出生日期的 2 数量是日的 instance
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4092-4092	购买电量的 2 数量是日的 instance
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2485-2485	通话日期的 2 数量是日的 instance
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3472-3472	收盘价的 3 数量是日的 instance
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 673-673	目前账户余额的 2 数量是日的 instance
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 615-615	目前的利率的 2 数量是日的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8545-8545	日期的 2 数量是日的 instance
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4027-4027	声明日期的 2 数量是日的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24281-24281	deathdate 的 2 数量是日的 instance
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4101-4101	余额幅度的 2 数量是日的 instance
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4119-4119	市值金额的 2 数量是日的 instance
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 632-632	成人礼的 2 数量是日的 instance
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 868-868	净值的 3 数量是日的 instance
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 780-780	透支的 3 数量是日的 instance
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 600-600	主要利率的 1 数量是日的 instance
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4110-4110	短期金额的 2 数量是日的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24213-24213	weddingdate 的 3 数量是日的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8614-8614	时函数的 2 数量是日的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24182-24182	周年的 2 数量是日的 subclass

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 8840-8845	如果下午是下午的 instance 和日是日的 instance 和那个下午 equal 那个日的 afternoon ，然后那个下午在那个日时段内发生
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8940-8945	如果 Evening 是 Evening 的 instance 和日是日的 instance 和那个 Evening equal 那个日的 evening ，然后那个 Evening 在那个日时段内发生
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8824-8829	如果早上是早上的 instance 和日是日的 instance 和那个早上 equal 那个日的 morning ，然后那个早上在那个日时段内发生
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8922-8929	如果时距是 Evening 的 instance 和另一个时距是下午的 instance 和第三时距是日的 instance 和那个时距在那个第三时距时段内发生和那个另外时距在那个第三时距时段内发生，然后那个另外时距接着那个时距
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 65-84	如果施事体是人的 instance 和 mausaharati 是那个施事体的 attribute 和过程是鼓声的 instance 和那个施事体是那个过程的 agent 和那个过程AY 是日的 instance 和另一个时距是日出的 instance 和那个另外时距在那个过程AY 时段内发生和那个过程出现的 time 比那个另外时距发生的earlier，然后那个过程的目的是有存在另一个实体，那个另外时距UHUR， and 和第四实体这样那个第四实体是起来的 instance 和那个另外实体经历了那个第四实体和那个另外时距UHUR 是封斋饭的 instance 和那个另外实体是那个另外时距UHUR 的 agent 和那个第四实体出现的 time 比那个另外时距UHUR 出现的 time发生的earlier 和那个第四实体出现的 time 在那个过程AY 时段内发生和那个另外时距UHUR 出现的 time 在那个过程AY 时段内发生
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4958-4976	如果时距是低潮的 instance 和另一个时距是高潮的 instance 和那个时距是 located 在客体和那个另外时距是 located 在那个客体和第三时距是日的 instance 和那个第三时距时段和那个时距重叠和那个第三时距时段和那个另外时距重叠，然后有存在实数，另一个实数， and 和实体这样那个实体是 UnitOfLength 的 instance 和那个实数那个实体是那个客体的 water 深度在那个时距 holdsDuring 和那个另外实数那个实体是那个客体的 water 深度在那个另外时距 holdsDuring 和那个另外实数是 greaterThan 那个实数
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5027-5037	如果地区对于 %3 low 潮汐和那个地区是对于实数测量单位的 high 潮汐时距和那个测量单位是 UnitOfLength 的 instance 和另一个时距是日的 instance 和那个另外时距时段和第三时距重叠和那个另外时距时段和那个时距重叠，然后另一个实数是 greaterThan 那个实数
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9236-9238	如果时距是日的 instance，然后那个时距的 duration 是 1 一天长度
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9473-9475	如果时距是日的 instance，然后分拆那个时距为的小时 instance 的数量 equal 24

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.	Economy.kif 3754-3764	如果时距 equal 施事体和有点年的 fiscal 开始年分和另一个有点时距是那个施事体的 fiscal 年周期和那个时距是另一个有点时距的 instance，然后有存在第三时距和时间位置这样那个第三时距是日的 instance 和那个第三时距 starts了才到那个时距和那个时间位置是有点年的 instance 和那个第三时距时段是那个时间位置时段的一 part
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9463-9467	如果时距是月的 instance 和那个时距的 duration 是整数一天长度，然后分拆那个时距为的日 instance 的数量 equal 那个整数
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2654-2674	如果 Policy 是 DailyHousekeepingPolicy 的 instance 和机构 enacts policy 那个 Policy ，然后有存在实体，另一个实体， and 和第三实体这样那个实体是在那个机构的 guest 和那个实体 stays 在那个另外实体和那个第三实体 equal 那个实体 stays 在那个另外实体出现的 time 和对所有第四实体如果那个第四实体是日的 instance 和那个第四实体在那个第三实体时段内发生，然后有存在第五实体这样那个第五实体是 RoomCleaningService 的 instance 和那个另外实体是那个第五实体的 patient 和那个第五实体在那个第四实体时段内发生在那个第三实体 holdsDuring 的声明 has 容易的语气
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3631-3640	如果物理是地理区域的 instance 和那个物理是 located 在南极地区，然后有存在时间位置这样那个时间位置是日的 instance 和发光的不是那个物理的 attribute 在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3570-3579	如果物理是地理区域的 instance 和那个物理是 located 在北极地区，然后有存在时间位置这样那个时间位置是日的 instance 和发光的不是那个物理的 attribute 在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Biography.kif 250-264	如果内容承载物理是出生证明的 instance 和过程是出生的 instance 和施事体是人类的 instance 和那个施事体经历了那个过程，然后 containsFormula 那个内容承载物理 and 有存在实体，另一个实体， and 和第三实体这样那个实体是那个施事体的 birthdate 和那个实体是日的 instance 和那个另外实体是那个施事体的 birthplace 和那个另外实体是地理区域的 instance 和那个第三实体表达那个施事体和那个第三实体是 Name 的 instance
No TPTP formula. May not be expressible in strict first order.	Biography.kif 280-296	如果内容承载物理是 DeathCertificate 的 instance 和过程是死亡的 instance 和施事体是人类的 instance 和那个施事体经历了那个过程，然后 containsFormula 那个内容承载物理 and 有存在那个过程AY，另一个实体,，，第三实体， and 和那个另外实体ROC 这样那个过程AY 是那个施事体的 deathdate 和那个过程AY 是日的 instance 和那个另外实体是那个施事体的 deathplace 和那个另外实体是地理区域的 instance 和那个第三实体表达那个施事体和那个第三实体是 Name 的 instance 和那个另外实体ROC causes 那个过程和那个另外实体ROC 是过程的 instance
No TPTP formula. May not be expressible in strict first order.	Biography.kif 307-317	如果内容承载物理是 MarriageCertificate 的 instance 和人类是人类的 instance 和另一个人类是人类的 instance 和那个人类是那个另外人类的 spouse ，然后 containsFormula 那个内容承载物理 and 有存在实体这样那个人类和那个另外人类之前是 married 在那个实体和那个实体是日的 instance
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.	FinancialOntology.kif 3691-3711	如果施事体是符号串的 day 电话，然后有存在电话，实体， and 和实数这样那个电话是那个符号串的 phone 号码和那个实数是 greaterThan 6 和那个实数是 lessThan 18 和有存在另一个实体这样那个另外实体是致电的 instance 和那个另外实体在那个施事体结束和那个电话是那个另外实体的 patient 和那个施事体 possesses 那个电话和有存在第三实体这样那个第三实体是回答中的 instance 和那个第三实体%n是那个另外实体的subProcess 和那个施事体是那个第三实体的 agent 的声明 has 容易的语气在那个实体是那个实数 hour 的 instance holdsDuring
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3735-3755	如果施事体是符号串的 evening 电话，然后有存在电话，实体， and 和实数这样那个电话是那个符号串的 phone 号码和那个实数是 greaterThan 18 和那个实数是 lessThan 6 和有存在另一个实体这样那个另外实体是致电的 instance 和那个另外实体在那个施事体结束和那个电话是那个另外实体的 patient 和那个施事体 possesses 那个电话和有存在第三实体这样那个第三实体是回答中的 instance 和那个第三实体%n是那个另外实体的subProcess 和那个施事体是那个第三实体的 agent 的声明 has 容易的语气在那个实体是那个实数 hour 的 instance holdsDuring
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2295-2300	如果实体是日历的 instance，然后有存在另一个实体这样那个另外实体是日的 instance 和那个实体提到那个另外实体
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8781-8786	如果时点是 Midnight 的 instance，然后有存在时距这样那个时距是日的 instance 和那个时点 equal 那个时距的结束
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9469-9471	如果时距是星期的 instance，然后分拆那个时距为的日 instance 的数量 equal 7
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 91-101	如果物理是开斋的 instance，然后有存在时距，另一个时距， and 和第三时距这样那个另外时距是日落的 instance 和那个时距是斋月的 instance 和那个第三时距是日的 instance 和那个第三时距在那个时距时段内发生和那个物理出现的 time 在那个第三时距时段内发生和那个另外时距在那个第三时距时段内发生和那个另外时距%n在那个物理出现的 time before发生
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 36-46	如果物理是封斋饭的 instance，然后有存在时距，另一个时距， and 和第三时距这样那个另外时距是日出的 instance 和那个时距是斋月的 instance 和那个第三时距是日的 instance 和那个第三时距在那个时距时段内发生和那个物理出现的 time 在那个第三时距时段内发生和那个另外时距在那个第三时距时段内发生和那个物理出现的 time%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: