TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1781-1782
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2075-2076
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 394-395
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2073-2073	持续时间是时间单位的 subclass

appearance as argument number 2

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 8756-8756	DecadeDuration 是持续时间的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7092-7092	小时是持续时间的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7100-7100	分钟是持续时间的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7117-7117	月持续时间是持续时间的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6709-6709	第二期是持续时间的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7108-7108	周持续时间是持续时间的 instance
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.	chinese_format.kif 878-878
No TPTP formula. May not be expressible in strict first order.	english_format.kif 958-958
No TPTP formula. May not be expressible in strict first order.	french_format.kif 554-554
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 84-84
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 87-87
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2239-2239
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 506-506
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 89-89
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 121-121
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 575-575
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 88-88

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Cars.kif 1275-1275	AccelerationFn 的 2 数量是持续时间的 instance
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2104-2104	RotationFn 的 2 数量是持续时间的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6658-6658	速率函数的 2 数量是持续时间的 instance
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1957-1957	时间间隔表列的 2 数量是持续时间的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14037-14037	TimePeriodFn 的 2 数量是持续时间的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6669-6669	速度函数的 2 数量是持续时间的 instance
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.	Law.kif 543-543	ageOfMajorityForProcess 的 1 数量是持续时间的 instance
No TPTP formula. May not be expressible in strict first order.	Music.kif 330-330	albumLength 的 2 数量是持续时间的 instance
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1221-1221	期间平均降水量的 2 数量是持续时间的 instance
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1187-1187	批次到达的 2 数量是持续时间的 instance
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1181-1181	批量延迟的 2 数量是持续时间的 instance
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2148-2148	收集率的 2 数量是持续时间的 instance
No TPTP formula. May not be expressible in strict first order.	Weather.kif 862-862	白天的总时数的 3 数量是持续时间的 instance
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1245-1245	依赖延迟的 2 数量是持续时间的 instance
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1531-1531	疾病孵化的 2 数量是持续时间的 instance
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1532-1532	疾病孵化的 3 数量是持续时间的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7903-7903	时段的 2 数量是持续时间的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7912-7912	频率的 2 数量是持续时间的 instance
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1504-1504	粒度的 2 数量是持续时间的 instance
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1875-1875	量度串列持续时间的 2 数量是持续时间的 instance
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1857-1857	量度串列时间间隔的 2 数量是持续时间的 instance
No TPTP formula. May not be expressible in strict first order.	Military.kif 838-838	军事时代的 2 数量是持续时间的 instance
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 755-755	最低付费的 3 数量是持续时间的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16966-16966	货币工资的 3 数量是持续时间的 instance

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.	Merge.kif 6400-6404	如果实数测量单位 equal 物理量和那个测量单位是 UnitOfDuration 的 instance，然后那个物理量是持续时间的 instance
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 505-511	如果协议对于函数量指定有点物理的 rental ，然后有存在物理量和另一个物理量这样那个另外物理量是货币测量的 instance 和那个物理量是持续时间的 instance 和那个函数量 equal 那个物理量是那个另外物理量的 per
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 459-465	如果有点物理由有认知的主事定的 price 根据 PricingScheme 是函数量，然后有存在物理量和另一个物理量这样那个物理量是持续时间的 instance 和那个另外物理量是货币测量的 instance 和那个函数量 equal 那个物理量是那个另外物理量的 per

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: