TreeView Knowledge Base Browser - Deposition

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Deposition

Deposition(凝华)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 6988-6989
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6984-6986
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7043-7043	凝华和升华是内部相关
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6991-6991	凝华是状态改变的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2778-2778	霜是凝华的 subclass
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6995-6995
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6993-6993

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 6997-7014	如果过程是凝华的 instance 和客体是那个过程的 patient，然后有存在另一个客体这样那个另外客体是那个客体的 part 和加油站是那个另外客体的 attribute 在那个过程出现的 time 的开始 holdsDuring 和固体是那个另外客体的 attribute 在那个过程出现的 time 的结束 holdsDuring 和液体是那个另外客体的 attribute doesn't 在那个过程出现的 time holdsDuring

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