TreeView Knowledge Base Browser - Ironing

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

(documentation Ironing EnglishLanguage "Ironing refers to a Smoothing process where a heated Device is used to smooth something")	Mid-level-ontology.kif 25247-25248
(subclass Ironing Smoothing)	Mid-level-ontology.kif 25246-25246	Ironing e' uma sub-classe de Smoothing

appearance as argument number 2

(termFormat EnglishLanguage Ironing "ironing")

Mid-level-ontology.kif 25249-25249

antecedent

(=> (and (instance ?I Ironing) (patient ?I ?OBJ) (part ?FABRIC ?OBJ) (instance ?FABRIC Fabric)) (exists (?IRON ?HEAT) (and (instance ?HEAT Heating) (patient ?HEAT ?IRON) (instance ?IRON FabricIron) (instrument ?I ?IRON))))	Mid-level-ontology.kif 25263-25274	Processo e' uma instancia de Ironing Objeto e' um patient de Processo Objeto e' uma &parte de Objeto Objeto e' uma instancia de Tecido ProcessoRON Processo Processo e' uma instancia de Aquecer ProcessoRON e' um patient de Processo ProcessoRON e' uma instancia de FabricIron ProcessoRON e' um instrumento para Processo
(=> (and (instance ?I Ironing) (patient ?I ?OBJ)) (exists (?HEAT ?IRON ?PART) (and (superficialPart ?PART ?OBJ) (instance ?HEAT Heating) (patient ?HEAT ?IRON) (patient ?I ?PART) (instrument ?I ?IRON))))	Mid-level-ontology.kif 25251-25261	Processo e' uma instancia de Ironing Objeto e' um patient de Processo Processo ProcessoRON and Objeto Objeto e' uma parte superficial de Objeto Processo e' uma instancia de Aquecer ProcessoRON e' um patient de Processo Objeto e' um patient de Processo ProcessoRON e' um instrumento para Processo

consequent

(=> (instance ?BOARD IroningBoard) (hasPurpose ?BOARD (exists (?IRON ?FABRIC ?OBJ) (and (instance ?IRON Ironing) (patient ?IRON ?OBJ) (part ?FABRIC ?OBJ) (instance ?FABRIC Fabric) (holdsDuring (WhenFn ?IRON) (orientation ?OBJ ?BOARD On))))))	Mid-level-ontology.kif 25201-25212	Fisico e' uma instancia de IroningBoard Fisico tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Ironing Entidade e' um patient de Entidade Entidade e' uma &parte de Entidade Entidade e' uma instancia de Tecido Entidade e' On em relacao a Fisico vale durante tempo de existencia de Entidade
(=> (instance ?I FabricIron) (hasPurpose ?I (exists (?IRON) (and (instance ?IRON Ironing) (instrument ?IRON ?I)))))	Mid-level-ontology.kif 25180-25186	Fisico e' uma instancia de FabricIron Fisico tem por fim FisicoRON FisicoRON e' uma instancia de Ironing Fisico e' um instrumento para FisicoRON
(=> (instance ?SVC LaundryService) (exists (?CLOTHES ?WASH ?DRY ?IRON) (and (instance ?CLOTHES Clothing) (patient ?SVC ?CLOTHES) (subProcess ?WASH ?SVC) (instance ?WASH Washing) (patient ?WASH ?CLOTHES) (result ?WASH (attribute ?CLOTHES Clean)) (subProcess ?DRY ?SVC) (instance ?DRY Drying) (patient ?DRY ?CLOTHES) (instance ?IRON Ironing) (subProcess ?IRON ?SVC) (patient ?IRON ?CLOTHES) (before (BeginFn (WhenFn ?WASH)) (BeginFn (WhenFn ?DRY))) (before (BeginFn (WhenFn ?DRY)) (BeginFn (WhenFn ?IRON))))))	Hotel.kif 1785-1802	Processo e' uma instancia de LaundryService Entidade Processo, Processo and Processo Entidade e' uma instancia de Roupa Entidade e' um patient de Processo Processo e' um sub-processo de Processo Processo e' uma instancia de Washing Entidade e' um patient de Processo Clean e' um atributo de Entidade e' o resultado de Processo Processo e' um sub-processo de Processo Processo e' uma instancia de Secar Entidade e' um patient de Processo Processo e' uma instancia de Ironing Processo e' um sub-processo de Processo Entidade e' um patient de Processo o comeco de tempo de existencia de Processo comeca antes de o comeco de tempo de existencia de Processo o comeco de tempo de existencia de Processo comeca antes de o comeco de tempo de existencia de Processo
(=> (instance ?X IroningService) (exists (?IRON ?CLOTHES) (and (instance ?CLOTHES Clothing) (instance ?IRON Ironing) (patient ?IRON ?CLOTHES) (subProcess ?IRON ?X))))	Hotel.kif 1856-1863	Processo e' uma instancia de IroningService Processo Entidade Entidade e' uma instancia de Roupa Processo e' uma instancia de Ironing Entidade e' um patient de Processo Processo e' um sub-processo de Processo

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