PureSubstance - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - PureSubstance

PureSubstance(substance pure)

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	Substance pure est compl�tement d�compos� en substance compos�e + substance �l�mentaire
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1084-1084	Substance pure est une sous-classe de substance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 1042-1042	Substance est compl�tement d�compos� en substance pure + mixture
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1173-1173	Substance compos�e est une sous-classe de substance pure
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2647-2647	Defoliant est une sous-classe de substance pure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1093-1093	Substance �l�mentaire est une sous-classe de substance pure
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2735-2735	GreenhouseGas est une sous-classe de substance pure
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 513-513	HydrophilicLipidHead est une sous-classe de substance pure
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 524-524	HydrophobicLipidTail est une sous-classe de substance pure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21664-21664	Ion est une sous-classe de substance pure
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	Le nombre 1 argument de electronNumber est une instance de substance pure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21682-21682	Le nombre 1 argument de protonNumber est une instance de substance pure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13815-13815	Le nombre 1 argument de boilingPoint est une sous-classe de substance pure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13879-13879	Le nombre 1 argument de meltingPoint est une sous-classe de substance pure

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 13820-13829	Objet est une instance de substance pure substance pure est une sous-classe de substance pure barometricPressure objet and nombre r�el InchMercury(s) 29.92 est plus grand que nombre r�el boilingPoint substance pure and nombre r�el KelvinDegree(s) la mesure de objet est nombre r�el KelvinDegree(s) nombre r�el est plus grand que nombre r�el Gas est un attribut de objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13831-13840	Objet est une instance de substance pure substance pure est une sous-classe de substance pure boilingPoint substance pure and nombre r�el KelvinDegree(s) meltingPoint substance pure and nombre r�el KelvinDegree(s) la mesure de objet est nombre r�el KelvinDegree(s) nombre r�el est plus grand que nombre r�el nombre r�el est moins que nombre r�el Liquid est un attribut de objet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13842-13851	Objet est une instance de substance pure substance pure est une sous-classe de substance pure meltingPoint substance pure and nombre r�el KelvinDegree(s) barometricPressure objet and nombre r�el InchMercury(s) nombre r�el est plus grand que 29.92 la mesure de objet est nombre r�el KelvinDegree(s) nombre r�el est moins que nombre r�el Solid est un attribut de objet

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 1200-1205	Substance est une instance de mixture substance est une pi�ce de substance substance est une instance de mixture substance est une instance de substance pure
No TPTP formula. May not be expressible in strict first order.	naics.kif 3125-3141	Collection est une instance de organisation ChemicalManufacturing est un attribut de collection AutonomousAgent processus processus est un membre de collection processus est un agent de AutonomousAgent entit� processus2 and AutonomousAgent2 AutonomousAgent est une instance de manufacture entit� est une instance de substance pure entit� est un patient de AutonomousAgent processus2 est un membre de collection AutonomousAgent2 est une instance de vendre AutonomousAgent2 est un agent de processus2 entit� est un patient de AutonomousAgent2
No TPTP formula. May not be expressible in strict first order.	naics.kif 631-648	Collection est une instance de organisation Mining est un attribut de collection AutonomousAgent processus processus est un membre de collection processus est un agent de AutonomousAgent objet processus2 and AutonomousAgent2 AutonomousAgent est une instance de supprimer objet est un patient de AutonomousAgent objet est une instance de substance pure Solid est un attribut de objet processus2 est un membre de collection AutonomousAgent2 est une instance de vendre AutonomousAgent2 est un agent de processus2 objet est un patient de AutonomousAgent2
No TPTP formula. May not be expressible in strict first order.	naics.kif 3690-3708	Collection est une instance de organisation NonmetallicMineralProductManufacturing est un attribut de collection AutonomousAgent processus processus est un membre de collection processus est un agent de AutonomousAgent entit� processus2 and AutonomousAgent2 AutonomousAgent est une instance de manufacture entit� est une instance de m�tal entit� est une instance de substance pure entit� est un patient de AutonomousAgent processus2 est un membre de collection AutonomousAgent2 est une instance de vendre AutonomousAgent2 est un agent de processus2 entit� est un patient de AutonomousAgent2
No TPTP formula. May not be expressible in strict first order.	naics.kif 954-977	Collection est une instance de organisation Utilities est un attribut de collection AutonomousAgent processus processus est un membre de collection processus est un agent de AutonomousAgent objet processus2 and AutonomousAgent2 AutonomousAgent est une instance de supprimer objet est une instance de Sewage objet est un patient de AutonomousAgent objet est une instance de �l�ctron objet est une instance de eau objet est une instance de substance pure objet est capable de faire combustion dans le r�le patient processus2 est un membre de collection AutonomousAgent2 est une instance de financial transaction AutonomousAgent2 est un agent de processus2 objet est un patient de AutonomousAgent2
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12536-12542	Processus est une instance de processus chimique objet est une resource pour processus objet est le resultat de processus objet est une instance de substance pure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19656-19661	Processus est une instance de Chromatography entit� entit� est une instance de substance pure entit� est le resultat de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19601-19611	Processus est une instance de Dialysis objet entit� and entit� objet est une resource pour processus objet est une instance de solution entit� est le resultat de processus entit� est une instance de substance pure entit� est le resultat de processus entit� est une instance de substance pure entit� est entit�
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1190-1198	Substance est une instance de mixture substance substance substance est une instance de substance pure substance est une instance de substance pure substance est substance substance est une pi�ce de substance substance est une pi�ce de substance

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