TreeView Knowledge Base Browser - PureSubstance

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - PureSubstance

PureSubstance(Substancia Pura)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1595-1598
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1087-1091
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 174-177
No TPTP formula. May not be expressible in strict first order.	spanish_format.kif 206-210
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 910-910
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1085-1085	O conceito Substancia Pura e' completamente decomposto em Substancia Composta + Substancia Elementar
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1084-1084	Substancia Pura e' uma sub-classe de Substancia

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 1042-1042	O conceito Substancia e' completamente decomposto em Substancia Pura + Mistura
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1173-1173	Substancia Composta e' uma sub-classe de Substancia Pura
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2647-2647	Defoliant e' uma sub-classe de Substancia Pura
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1093-1093	Substancia Elementar e' uma sub-classe de Substancia Pura
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2735-2735	GreenhouseGas e' uma sub-classe de Substancia Pura
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 513-513	HydrophilicLipidHead e' uma sub-classe de Substancia Pura
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 524-524	HydrophobicLipidTail e' uma sub-classe de Substancia Pura
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21664-21664	Ion e' uma sub-classe de Substancia Pura
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 818-818
No TPTP formula. May not be expressible in strict first order.	english_format.kif 838-838
No TPTP formula. May not be expressible in strict first order.	french_format.kif 494-494
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 27-27
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 30-30
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2179-2179
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 446-446
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 31-31
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 61-61
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 515-515
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 31-31

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21707-21707	O argumento numero 1 de electronNumber e' uma instancia de Substancia Pura
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21682-21682	O argumento numero 1 de protonNumber e' uma instancia de Substancia Pura
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13815-13815	O argumento numero 1 de boilingPoint e' uma sub-classe de Substancia Pura
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13879-13879	O argumento numero 1 de meltingPoint e' uma sub-classe de Substancia Pura

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 13820-13829	Objeto e' uma instancia de Substancia Pura Substancia Pura e' uma sub-classe de Substancia Pura barometricPressure Objeto and Numero Real InchMercury(s) 29.92 e' maior que Numero Real boilingPoint Substancia Pura and Numero Real KelvinDegree(s) a medida de Objeto e' Numero Real KelvinDegree(s) Numero Real e' maior que Numero Real Gas e' um atributo de Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13831-13840	Objeto e' uma instancia de Substancia Pura Substancia Pura e' uma sub-classe de Substancia Pura boilingPoint Substancia Pura and Numero Real KelvinDegree(s) meltingPoint Substancia Pura and Numero Real KelvinDegree(s) a medida de Objeto e' Numero Real KelvinDegree(s) Numero Real e' maior que Numero Real Numero Real e' menos que Numero Real Liquid e' um atributo de Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13842-13851	Objeto e' uma instancia de Substancia Pura Substancia Pura e' uma sub-classe de Substancia Pura meltingPoint Substancia Pura and Numero Real KelvinDegree(s) barometricPressure Objeto and Numero Real InchMercury(s) Numero Real e' maior que 29.92 a medida de Objeto e' Numero Real KelvinDegree(s) Numero Real e' menos que Numero Real Solid e' um atributo de Objeto

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 1200-1205	Substancia e' uma instancia de Mistura Substancia e' uma peca de Substancia Substancia e' uma instancia de Mistura Substancia e' uma instancia de Substancia Pura
No TPTP formula. May not be expressible in strict first order.	naics.kif 3125-3141	Colecao e' uma instancia de Organizacao ChemicalManufacturing e' um atributo de Colecao AutonomousAgent Processo Processo e' membro de Colecao Processo e' um agente de AutonomousAgent Entidade Processo2 and AutonomousAgent2 AutonomousAgent e' uma instancia de Manufatura Entidade e' uma instancia de Substancia Pura Entidade e' um patient de AutonomousAgent Processo2 e' membro de Colecao AutonomousAgent2 e' uma instancia de Vender AutonomousAgent2 e' um agente de Processo2 Entidade e' um patient de AutonomousAgent2
No TPTP formula. May not be expressible in strict first order.	naics.kif 631-648	Colecao e' uma instancia de Organizacao Mining e' um atributo de Colecao AutonomousAgent Processo Processo e' membro de Colecao Processo e' um agente de AutonomousAgent Objeto Processo2 and AutonomousAgent2 AutonomousAgent e' uma instancia de Remover Objeto e' um patient de AutonomousAgent Objeto e' uma instancia de Substancia Pura Solid e' um atributo de Objeto Processo2 e' membro de Colecao AutonomousAgent2 e' uma instancia de Vender AutonomousAgent2 e' um agente de Processo2 Objeto e' um patient de AutonomousAgent2
No TPTP formula. May not be expressible in strict first order.	naics.kif 3690-3708	Colecao e' uma instancia de Organizacao NonmetallicMineralProductManufacturing e' um atributo de Colecao AutonomousAgent Processo Processo e' membro de Colecao Processo e' um agente de AutonomousAgent Entidade Processo2 and AutonomousAgent2 AutonomousAgent e' uma instancia de Manufatura Entidade e' uma instancia de Metal Entidade e' uma instancia de Substancia Pura Entidade e' um patient de AutonomousAgent Processo2 e' membro de Colecao AutonomousAgent2 e' uma instancia de Vender AutonomousAgent2 e' um agente de Processo2 Entidade e' um patient de AutonomousAgent2
No TPTP formula. May not be expressible in strict first order.	naics.kif 954-977	Colecao e' uma instancia de Organizacao Utilities e' um atributo de Colecao AutonomousAgent Processo Processo e' membro de Colecao Processo e' um agente de AutonomousAgent Objeto Processo2 and AutonomousAgent2 AutonomousAgent e' uma instancia de Remover Objeto e' uma instancia de Sewage Objeto e' um patient de AutonomousAgent Objeto e' uma instancia de Eletron Objeto e' uma instancia de Agua Objeto e' uma instancia de Substancia Pura Objeto e' capaz de fazer Combustao no role patient Processo2 e' membro de Colecao AutonomousAgent2 e' uma instancia de Transacao Financeira AutonomousAgent2 e' um agente de Processo2 Objeto e' um patient de AutonomousAgent2
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12536-12542	Processo e' uma instancia de Processo Quimico Objeto e' um recurso para Processo Objeto e' o resultado de Processo Objeto e' uma instancia de Substancia Pura
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19656-19661	Processo e' uma instancia de Chromatography Entidade Entidade e' uma instancia de Substancia Pura Entidade e' o resultado de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19601-19611	Processo e' uma instancia de Dialysis Objeto Entidade and Entidade Objeto e' um recurso para Processo Objeto e' uma instancia de Solucao Entidade e' o resultado de Processo Entidade e' uma instancia de Substancia Pura Entidade e' o resultado de Processo Entidade e' uma instancia de Substancia Pura Entidade e' igual a Entidade
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1190-1198	Substancia e' uma instancia de Mistura Substancia Substancia Substancia e' uma instancia de Substancia Pura Substancia e' uma instancia de Substancia Pura Substancia e' igual a Substancia Substancia e' uma peca de Substancia Substancia e' uma peca de Substancia

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