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 21692-21692 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 21735-21735 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 21710-21710 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 13839-13839 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 13903-13903 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 13844-13853
No TPTP formula. May not be expressible in strict first order. Merge.kif 13855-13864
No TPTP formula. May not be expressible in strict first order. Merge.kif 13866-13875

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 1200-1205
No TPTP formula. May not be expressible in strict first order. naics.kif 3125-3141
No TPTP formula. May not be expressible in strict first order. naics.kif 631-648
No TPTP formula. May not be expressible in strict first order. naics.kif 3690-3708
No TPTP formula. May not be expressible in strict first order. naics.kif 954-977
No TPTP formula. May not be expressible in strict first order. Merge.kif 12560-12566
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19684-19689
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19629-19639
No TPTP formula. May not be expressible in strict first order. Merge.kif 1190-1198


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