Ironing - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Ironing

Ironing

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25247-25248
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25246-25246	Ironing 是 Smoothing 的 subclass

appearance as argument number 2

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

Mid-level-ontology.kif 25249-25249

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25263-25274	如果过程是 Ironing 的 instance 和客体是那个过程的 patient 和另一个客体是那个客体的 part 和那个另外客体是织品的 instance，然后有存在那个过程RON 和另一个过程这样那个另外过程是加热的 instance 和那个过程RON 是那个另外过程的 patient 和那个过程RON 是 FabricIron 的 instance 和那个过程RON 是导致那个过程的 instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25251-25261	如果过程是 Ironing 的 instance 和客体是那个过程的 patient，然后有存在另一个过程，那个过程RON， and 和第三客体这样那个第三客体是那个客体的 superficialPart 和那个另外过程是加热的 instance 和那个过程RON 是那个另外过程的 patient 和那个第三客体是那个过程的 patient 和那个过程RON 是导致那个过程的 instrument

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25201-25212	如果物理是 IroningBoard 的 instance，然后那个物理的目的是有存在实体，另一个实体， and 和第三实体这样那个实体是 Ironing 的 instance 和那个第三实体是那个实体的 patient 和那个另外实体是那个第三实体的 part 和那个另外实体是织品的 instance 和那个第三实体在那个物理的上在那个实体出现的 time holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25180-25186	如果物理是 FabricIron 的 instance，然后那个物理的目的是有存在那个物理RON 这样那个物理RON 是 Ironing 的 instance 和那个物理是导致那个物理RON 的 instrument
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1785-1802	如果过程是 LaundryService 的 instance，然后有存在实体，另一个过程,，，第三过程， and 和第四过程这样那个实体是服装的 instance 和那个实体是那个过程的 patient 和那个另外过程%n是那个过程的subProcess 和那个另外过程是洗涤的 instance 和那个实体是那个另外过程的 patient 和 Clean 是那个实体的 attribute 是那个另外过程的 result 和那个第三过程%n是那个过程的subProcess 和那个第三过程是烘干的 instance 和那个实体是那个第三过程的 patient 和那个第四过程是 Ironing 的 instance 和那个第四过程%n是那个过程的subProcess 和那个实体是那个第四过程的 patient 和那个另外过程出现的 time 的开始%n在那个第三过程出现的 time 的开始before发生和那个第三过程出现的 time 的开始%n在那个第四过程出现的 time 的开始before发生
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1856-1863	如果过程是 IroningService 的 instance，然后有存在另一个过程和实体这样那个实体是服装的 instance 和那个另外过程是 Ironing 的 instance 和那个实体是那个另外过程的 patient 和那个另外过程%n是那个过程的subProcess

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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