TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2579-2579
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7085-7085
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1286-1286
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7084-7084	一天长度是持续时间的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7083-7083	一天长度是 UnitOfDuration 的 instance

appearance as argument number 2

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.	domainEnglishFormat.kif 18654-18654
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18653-18653
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18652-18652

antecedent

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.	Media.kif 611-617	如果时距是 Passover 的 instance 和那个时距的 duration 是实数一天长度，然后那个实数 equal 7 或那个实数 equal 8
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7122-7126	如果 1 月持续时间 equal 实数一天长度，然后那个实数是 greaterThanOrEqualTo 28
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7128-7132	如果 1 月持续时间 equal 实数一天长度，然后那个实数是 lessThanOrEqualTo 31

consequent

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.	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.	Hotel.kif 2744-2757	如果有认知的主事 authored HotelPackage 和那个 HotelPackage 是 HotelPackage 的 instance 和机构 provides 那个 HotelPackage 和那个 HotelPackage 指定整数天数 stay 在有点 HotelUnit 和实体是有点 HotelUnit 的 instance 和那个实体是那个机构的财产的 element 和另一个有认知的主事 buys 那个 HotelPackage 从那个有认知的主事，然后有存在时间位置这样那个时间位置 equal 那个整数一天长度和那个另外有认知的主事是在那个机构的 guest 在那个时间位置 holdsDuring
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.	Media.kif 580-582	如果时距是 Hanukkah 的 instance，然后那个时距的 duration 是 8 一天长度
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1579-1583	如果协议是一天的贷款的 instance，然后时距是那个协议的 agreement 週期和那个时距的 duration 是 1 一天长度
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9104-9106	如果时距是 A四月的 instance，然后那个时距的 duration 是 30 一天长度
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9160-9162	如果时距是八月的 instance，然后那个时距的 duration 是 31 一天长度
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9217-9219	如果时距是十二月的 instance，然后那个时距的 duration 是 31 一天长度
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9052-9054	如果时距是一月的 instance，然后那个时距的 duration 是 31 一天长度
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9146-9148	如果时距是七月的 instance，然后那个时距的 duration 是 31 一天长度
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9132-9134	如果时距是六月的 instance，然后那个时距的 duration 是 30 一天长度
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9090-9092	如果时距是三月的 instance，然后那个时距的 duration 是 31 一天长度
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9118-9120	如果时距是五月的 instance，然后那个时距的 duration 是 31 一天长度
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9203-9205	如果时距是十一月的 instance，然后那个时距的 duration 是 30 一天长度
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9189-9191	如果时距是十月的 instance，然后那个时距的 duration 是 31 一天长度
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9175-9177	如果时距是九月的 instance，然后那个时距的 duration 是 30 一天长度
No TPTP formula. May not be expressible in strict first order.	Media.kif 455-457	如果时距是 Lent 的 instance，然后那个时距的 duration 是 40 一天长度
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2940-2944	如果协议有一天的订单的 attribute，然后时距是那个协议的 agreement 週期和那个时距的 duration 是 1 一天长度

statement

No TPTP formula. May not be expressible in strict first order.	WMD.kif 336-336	肉毒中毒对于 %3 disease 孵化
No TPTP formula. May not be expressible in strict first order.	WMD.kif 419-419	腺鼠疫对于 %3 disease 孵化
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1240-1242	Covid19 对于 %3 disease 孵化
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1911-1911	克里米亚刚果出血热对于 %3 disease 孵化
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1903-1903	白喉对于 %3 disease 孵化
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1519-1519	疱疹B 对于 %3 disease 孵化
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1713-1713	日本脑炎对于 %3 disease 孵化
No TPTP formula. May not be expressible in strict first order.	WMD.kif 2047-2047	Kyasanur森林病对于 %3 disease 孵化
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1743-1743	马尔堡病对于 %3 disease 孵化
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1580-1580	百日咳对于 %3 disease 孵化
No TPTP formula. May not be expressible in strict first order.	WMD.kif 424-424	肺鼠疫对于 %3 disease 孵化
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1602-1602	鹦鹉学舌对于 %3 disease 孵化
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1824-1824	轮状病毒肠胃炎对于 %3 disease 孵化
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1682-1682	圣路易斯脑炎对于 %3 disease 孵化
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1761-1761	猩红热对于 %3 disease 孵化
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1499-1499	破伤风对于 %3 disease 孵化
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7112-7114	1 周持续时间 equal 7 一天长度
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7139-7141	1 年持续时间 equal 365 一天长度
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7087-7089	实数一天长度 equal 那个实数和 24 小时

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: