TreeView Knowledge Base Browser - Joule

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Joule

Joule(焦耳)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2534-2535
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6882-6885
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1235-1236
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4907-4907
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5026-5026
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6879-6879	焦耳是 CompositeUnitOfMeasure 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6880-6880	焦耳是国际单位制的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 31789-31789
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 31788-31788
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 31787-31787

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 7016-7030	如果过程是凝华的 instance 和实体是那个过程的 patient 和那个实体的 measure 是实数焦耳在紧接那个过程出现的 time before holdsDuring 和那个实体的 measure 是另一个实数焦耳在紧接那个过程出现的 time after holdsDuring，然后那个另外实数是 lessThan 那个实数
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7068-7082	如果过程是升华的 instance 和实体是那个过程的 patient 和那个实体的 measure 是实数焦耳在紧接那个过程出现的 time before holdsDuring 和那个实体的 measure 是另一个实数焦耳在紧接那个过程出现的 time after holdsDuring，然后那个另外实数是 greaterThan 那个实数
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2016-2018	如果物理量 equal 实数焦耳，然后那个物理量 equal 0.0002778 和那个实数瓦

consequent

No TPTP formula. May not be expressible in strict first order.

Economy.kif 2011-2013

如果物理量 equal 实数千瓦时，
然后那个物理量 equal 3600000.0 和那个实数焦耳

statement

No TPTP formula. May not be expressible in strict first order.	Economy.kif 2008-2008	1 千瓦时 equal 3.6 焦耳的一百万倍
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2009-2009	1 千瓦时 equal 3600000.0 焦耳
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7353-7355	实数英国热量单位 equal 那个实数和 1055.05585262 焦耳
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7345-7347	实数卡路里 equal 那个实数和 4.1868 焦耳
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7161-7163	实数电子伏特 equal 那个实数和 1.60217733E-19 焦耳

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