TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2989-2990
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10980-10981
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1749-1750
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10751-10751
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10753-10753
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10764-10764
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10761-10761
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10759-10759
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10756-10756
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9963-9963
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10754-10754
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10755-10755
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10760-10760
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10762-10762
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10752-10752
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10757-10757
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10765-10765
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10758-10758
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10763-10763
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10750-10750
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10978-10978	Resfriar e' uma sub-classe de Diminuir

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 10937-10937	Aquecer e' disjunto de Resfriar
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2023-2023	VaporCompressionCycle e' uma sub-classe de Resfriar
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1112-1112
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1441-1441
No TPTP formula. May not be expressible in strict first order.	french_format.kif 790-790
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 322-322
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 325-325
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2474-2474
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 742-742
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 327-327
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 361-361
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 811-811
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 326-326

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 10983-10996	Processo e' uma instancia de Resfriar 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' menos que Numero Real
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2188-2196	Objeto e' uma instancia de AirEngineCoolingSystem Transferencia e' uma instancia de Resfriar Objeto e' um instrumento para Transferencia Objeto Objeto e' uma instancia de Air objectTransferred Transferencia and Objeto
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2172-2180	Objeto e' uma instancia de LiquidEngineCoolingSystem Transferencia e' uma instancia de Resfriar Objeto e' um instrumento para Transferencia Objeto Liquid e' um atributo de Objeto objectTransferred Transferencia and Objeto

consequent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 2148-2160	Objeto e' uma instancia de EngineCoolingSystem Objeto e' uma instancia de Engine Objeto e' uma instancia de Automobile Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto Objeto tem por fim Entidade Entidade e' uma instancia de Resfriar Objeto e' um instrumento para Entidade Objeto e' um patient de Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2015-2021	Fisico e' uma instancia de AirConditioningCompressor Fisico tem por fim Entidade Entidade e' uma instancia de Resfriar Fisico e' um instrumento para Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2059-2065	Fisico e' uma instancia de AirConditioningCondenser Fisico tem por fim Entidade Entidade e' uma instancia de Resfriar Fisico e' um instrumento para Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2083-2089	Fisico e' uma instancia de AirConditioningEvaporator Fisico tem por fim Entidade Entidade e' uma instancia de Resfriar Fisico e' um instrumento para Entidade
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13994-13999	Processo e' uma instancia de Condensar Processo Processo e' uma instancia de Resfriar Processo e' um sub-processo de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2285-2291	Fisico e' uma instancia de CoolingDevice Fisico tem por fim Entidade Entidade e' uma instancia de Resfriar Fisico e' um instrumento para Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2758-2769	Fisico e' uma instancia de EngineFan Fisico tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Automobile Entidade e' uma instancia de Resfriar Entidade e' uma instancia de InternalCombustionEngine Entidade e' uma &parte de Entidade Fisico e' uma &parte de Entidade 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 14015-14020	Processo e' uma instancia de Congelar Processo Processo e' uma instancia de Resfriar Processo e' um sub-processo de Processo
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2206-2212	Fisico e' uma instancia de Radiator Fisico tem por fim Entidade Entidade e' uma instancia de Resfriar Fisico e' um instrumento para Entidade

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

KB Term:			Term intersection

English Word: