Heating - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 10949-10949	Aquecer e' disjunto de Resfriar
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2985-2986
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10951-10952
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1745-1746
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10046-10046
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11135-11135
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11136-11136
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11138-11138
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11134-11134
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11139-11139
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11130-11130
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11137-11137
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11129-11129
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11131-11131
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11132-11132
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11133-11133
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10948-10948	Aquecer e' uma sub-classe de Aumentar

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Food.kif 1458-1458	Baking e' uma sub-classe de Aquecer
No TPTP formula. May not be expressible in strict first order.	Food.kif 122-122	DryRoasting e' uma sub-classe de Aquecer
No TPTP formula. May not be expressible in strict first order.	Food.kif 784-784	EspressoMaking e' uma sub-classe de Aquecer
No TPTP formula. May not be expressible in strict first order.	Food.kif 1175-1175	FoamingMilk e' uma sub-classe de Aquecer
No TPTP formula. May not be expressible in strict first order.	Food.kif 2567-2567	Frying e' uma sub-classe de Aquecer
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1110-1110
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1437-1437
No TPTP formula. May not be expressible in strict first order.	french_format.kif 788-788
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 320-320
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 323-323
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2472-2472
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 740-740
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 325-325
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 359-359
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 809-809
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 324-324

antecedent

No TPTP formula. May not be expressible in strict first order.	Food.kif 1207-1216	Processo e' uma instancia de FoamingMilk Fisico e' um patient de Processo Fisico e' uma instancia de ProcessedMilk Processo e' uma instancia de Aquecer Processo e' um sub-processo de Processo a medida de Fisico e' Numero Real CelsiusDegree(s) approximateValue Numero Real and 70.0
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10954-10967	Processo e' uma instancia de Aquecer Entidade e' um patient de Processo Entidade Numero Real and Numero Real Entidade e' uma instancia de Medida de Temperatura Entidade Entidade(s) e' igual a Numero Real vale durante o comeco de tempo de existencia de Processo Entidade Entidade(s) e' igual a Numero Real vale durante o fim de tempo de existencia de Processo Numero Real e' maior que Numero Real

consequent

No TPTP formula. May not be expressible in strict first order.	Food.kif 468-478	Comida e' uma instancia de Objeto roastedToTemperature Comida and Numero Real Processo Processo e' uma instancia de Aquecer Comida e' um patient de Processo a medida de Comida e' Numero Real CelsiusDegree(s) vale durante o fim de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Food.kif 1190-1205	Processo e' uma instancia de FoamingMilk Entidade e' uma instancia de ProcessedMilk Entidade e' um patient de Processo Processo Processo and Entidade Processo e' uma instancia de Aquecer Entidade e' um patient de Processo Processo e' uma instancia de Aerating Entidade e' um patient de Processo Entidade e' o resultado de Processo Entidade e' uma instancia de Bubble tempo de existencia de Processo acontece durante tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25321-25332	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25309-25319	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
No TPTP formula. May not be expressible in strict first order.	Food.kif 128-151	Processo e' uma instancia de DryRoasting Entidade e' uma instancia de Comida Entidade e' um patient de Processo Entidade Entidade Entidade e' uma instancia de Aquecer Entidade e' uma instancia de Stirring Entidade e' um sub-processo de Processo Entidade e' um sub-processo de Processo tempo de existencia de Entidade acontece durante tempo de existencia de Entidade Entidade e' um patient de Entidade Entidade e' um patient de Entidade Entidade Entidade Entidade e' uma instancia de Oil Entidade e' uma instancia de DrinkingWater Entidade e' um patient de Processo Entidade e' um patient de Processo vale durante Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25362-25372	Objeto e' uma instancia de HotTub Fisico e' situado em Objeto Fisico e' uma instancia de Agua o argumento Entidade Entidade e' uma instancia de Aquecer Objeto e' um instrumento para Entidade Fisico e' um patient de Entidade tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Food.kif 37-44	CookedAttribute e' um atributo de Objeto Processo Processo Processo e' uma instancia de Cozinhar Processo e' uma instancia de Aquecer Processo e' um sub-processo de Processo Objeto e' o resultado de Processo
No TPTP formula. May not be expressible in strict first order.	Food.kif 55-61	RawAttribute e' um atributo de Objeto Processo Processo e' uma instancia de Aquecer Objeto e' o resultado de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5429-5438	Fisico e' uma instancia de Blanket Fisico tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Aquecer Entidade e' um patient de Entidade Entidade e' uma instancia de Humano Entidade e' situado em Entidade Entidade e' uma instancia de Bed
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13972-13977	Processo e' uma instancia de Ferver Processo Processo e' uma instancia de Aquecer Processo e' um sub-processo de Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12622-12629	Processo e' uma instancia de Combustao Processo Processo Processo e' uma instancia de Aquecer Processo e' uma instancia de Luz Irradiante Processo e' um sub-processo de Processo Processo e' um sub-processo de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2302-2308	Fisico e' uma instancia de HeatingDevice Fisico tem por fim Entidade Entidade e' uma instancia de Aquecer Fisico e' um instrumento para Entidade
No TPTP formula. May not be expressible in strict first order.	Food.kif 799-834	Posicao Temporal e' uma instancia de EspressoMaking Entidade Entidade, Entidade, Entidade, Entidade, Entidade, Entidade, Entidade, Entidade, Entidade and Entidade Entidade e' uma instancia de Aquecer Entidade e' um patient de Entidade a medida de Entidade e' Entidade Liter(s) approximateValue Entidade and 0.03 a medida de Entidade e' Entidade CelsiusDegree(s) approximateValue Entidade and 90 vale durante o fim de tempo de existencia de Entidade Entidade e' uma instancia de LiquidMotion Entidade e' um patient de Entidade a medida de Entidade e' Entidade 1 mil Pascals(s) approximateValue Entidade and 900 vale durante Entidade Entidade termina em Entidade Entidade e' uma instancia de Colecao a medida de Entidade e' Entidade Gram(s) approximateValue Entidade and 7.5 Entidade e' membro de Entidade Entidade e' uma instancia de CoffeeGrind FineGrind e' um atributo de Entidade Entidade e' situado em Entidade Entidade e' uma instancia de Filter Entidade e' uma instancia de Remover Entidade e' um instrumento para Entidade Entidade e' um patient de Entidade o fim de tempo de existencia de Entidade e' entre o fim de tempo de existencia de Entidade e o fim de tempo de existencia de Entidade vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2443-2448	Processo e' uma instancia de VolcanicEruption Processo Processo e' uma instancia de Aquecer Processo e' um sub-processo de Processo
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5163-5177	Fisico e' uma instancia de HeatSealer Fisico tem por fim Entidade Entidade, Entidade and Entidade Entidade e' uma instancia de Container Entidade e' uma instancia de Plastic Entidade e' uma instancia de Closing Entidade e' uma instancia de Aquecer Fisico e' um instrumento para Entidade Entidade e' um instrumento para Entidade Entidade e' um agente de Fisico Entidade e' um patient de Entidade Entidade e' o resultado de Entidade Entidade e' um patient de Entidade
No TPTP formula. May not be expressible in strict first order.	Food.kif 2890-2899	Entidade e' uma instancia de Lard Processo Objeto and Objeto Processo e' uma instancia de Aquecer Objeto e' um patient de Processo Objeto e' uma instancia de Tecido Gorduroso Objeto e' uma &parte de Objeto Objeto e' uma instancia de Pork Entidade e' o resultado de Processo
No TPTP formula. May not be expressible in strict first order.	Food.kif 355-363	Fisico e' uma instancia de Microwave Fisico tem por fim Entidade Entidade Entidade e' uma instancia de PreparedFood Entidade e' uma instancia de Aquecer Fisico e' um instrumento para Entidade Entidade e' um patient de Entidade
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13951-13956	Processo e' uma instancia de Derreter Processo Processo e' uma instancia de Aquecer Processo e' um sub-processo de Processo
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3247-3262	Fisico e' uma instancia de ManifoldHeatControlValve Fisico tem por fim Entidade Entidade, Entidade, Entidade and Entidade Entidade e' uma instancia de Aquecer Entidade e' uma instancia de Opening Entidade e' uma instancia de Exhaust Entidade e' uma instancia de Transferencia Entidade e' uma instancia de FuelVapor Fisico e' um patient de Entidade Entidade e' um instrumento para Entidade Entidade e' um patient de Entidade Fisico e' o caminho ao longo do qual Entidade ocorre Entidade causa Entidade Entidade causa Entidade
No TPTP formula. May not be expressible in strict first order.	Food.kif 1626-1631	Entidade e' uma instancia de SoupStock Processo Processo e' uma instancia de Aquecer Entidade e' o resultado de Processo
No TPTP formula. May not be expressible in strict first order.	Food.kif 2921-2928	Entidade e' uma instancia de Tallow Processo Entidade Processo e' uma instancia de Aquecer Entidade e' um patient de Processo Entidade e' uma instancia de Suet Entidade e' o resultado de Processo
No TPTP formula. May not be expressible in strict first order.	Food.kif 2449-2461	Entidade e' uma instancia de CocoaLiquor Processo Objeto Processo e' uma instancia de Aquecer Objeto e' um patient de Processo Objeto e' uma instancia de CocoaBean DryRoastAttribute e' um atributo de Objeto HulledAttribute e' um atributo de Objeto FermentedAttribute e' um atributo de Objeto Entidade e' o resultado de Processo Liquid e' um atributo de Entidade vale durante Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26877-26887	Fisico e' uma instancia de RoomHeater Fisico tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Air Entidade e' uma instancia de Comodo Entidade e' situado em Entidade Entidade e' uma instancia de Aquecer Entidade e' um patient de Entidade Fisico e' um instrumento para Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25695-25703	Fisico e' uma instancia de WaterHeater Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Aquecer Entidade e' uma instancia de FreshWater Entidade e' um patient de Entidade Fisico e' um instrumento para Entidade

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

KB Term:			Term intersection

English Word: