TreeView Knowledge Base Browser - Urination

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Urination

Urination

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2123-2124
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2122-2122	Urination 是 Excreting 的 subclass

appearance as argument number 2

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

Mid-level-ontology.kif 2125-2125

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10082-10105	如果客体是 Antidiuretic 的 instance 和运动是消化的 instance 和施事体是那个运动的 agent 和移动那个运动 and 那个客体和时距是 Urination 的 instance 和实体是那个时距的 result 和那个施事体是那个时距的 agent 和另一个时距是 Urination 的 instance 和那个时距不 equal 那个另外时距和另一个实体是那个另外时距的 result 和那个施事体是那个另外时距的 agent 和那个时距比那个运动发生的earlier 和那个运动比那个另外时距发生的earlier 和测量单位是 UnitOfVolume 的 instance 和那个时距的 measure 是实数那个测量单位和那个另外时距的 measure 是另一个实数那个测量单位，然后那个实数是 greaterThan 那个另外实数的声明 has 容易的语气
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10052-10073	如果客体是 Diuretic 的 instance 和运动是消化的 instance 和施事体是那个运动的 agent 和移动那个运动 and 那个客体和时距是 Urination 的 instance 和实体是那个时距的 result 和那个施事体是那个时距的 agent 和另一个时距是 Urination 的 instance 和另一个实体是那个另外时距的 result 和那个施事体是那个另外时距的 agent 和那个时距比那个运动发生的earlier 和那个运动比那个另外时距发生的earlier 和测量单位是 UnitOfVolume 的 instance 和那个时距的 measure 是实数那个测量单位和那个另外时距的 measure 是另一个实数那个测量单位，然后那个另外实数是 greaterThan 那个实数的声明 has 容易的语气
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11305-11310	如果过程是 Urination 的 instance，然后有存在客体这样那个客体是 Bladder 的 instance 和那个客体是那个过程的源头
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2127-2132	如果转移是 Urination 的 instance，然后有存在客体这样那个客体是 Urine 的 instance 和 objectTransferred 那个转移 and 那个客体

consequent

No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1550-1556	如果物理是 Urethra 的 instance，然后那个物理的目的是有存在那个物理R 这样那个物理R 是 Urination 的 instance 和那个物理是导致那个物理R 的 instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2175-2189	如果物理是 Bidet 的 instance，然后那个物理的目的是有存在实体，另一个实体， and 和第三实体这样那个实体是 Defecation 的 instance 或那个实体是 Urination 的 instance 和那个第三实体是导致那个实体的 instrument 和那个另外实体是洗涤的 instance 和 objectTransferred 那个另外实体 and 那个第三实体和那个物理是导致那个另外实体的 instrument 和那个实体出现的 time 的开始%n在那个另外实体出现的 time 的开始before发生
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2202-2210	如果物理是厕所的 instance，然后那个物理的目的是有存在实体这样那个实体是 Defecation 的 instance 或那个实体是 Urination 的 instance 和那个实体在那个物理结束

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