|
|
   CompoundSubstance
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1617-1620 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1174-1180 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 197-201 | |
| No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 233-239 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1173-1173 | Substancia Composta e' uma sub-classe de Substancia Pura |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2773-2773 | OzoneShield e' uma instancia de Substancia Composta |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2429-2429 | Permafrost e' uma instancia de Substancia Composta |
| 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. | Economy.kif 5610-5610 | Alumina e' uma sub-classe de Substancia Composta |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21730-21730 | AtomicGroup e' uma sub-classe de Substancia Composta |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1996-1996 | Barite e' uma sub-classe de Substancia Composta |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14699-14699 | Carbohidrato e' uma sub-classe de Substancia Composta |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 3409-3409 | CarbonDioxide e' uma sub-classe de Substancia Composta |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5921-5921 | Cement e' uma sub-classe de Substancia Composta |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8721-8721 | ChemicalAcid e' uma sub-classe de Substancia Composta |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 445-445 | ChemicalAgent e' uma sub-classe de Substancia Composta |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8738-8738 | ChemicalBase e' uma sub-classe de Substancia Composta |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5816-5816 | ChemicalProduct e' uma sub-classe de Substancia Composta |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8742-8742 | ChemicalSalt e' uma sub-classe de Substancia Composta |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1788-1788 | Chlorofluorocarbon e' uma sub-classe de Substancia Composta |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2013-2013 | Chromite e' uma sub-classe de Substancia Composta |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6474-6474 | ConjugatedSubstance e' uma sub-classe de Substancia Composta |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1468-1468 | Conotoxin e' uma sub-classe de Substancia Composta |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2639-2639 | DDT e' uma sub-classe de Substancia Composta |
| No TPTP formula. May not be expressible in strict first order. | TransnationalIssues.kif 81-81 | IllicitDrug e' uma sub-classe de Substancia Composta |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5621-5621 | IronOre e' uma sub-classe de Substancia Composta |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15664-15664 | Molecula e' uma sub-classe de Substancia Composta |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2034-2034 | NaturalGas e' uma sub-classe de Substancia Composta |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 7201-7201 | NitricOxide e' uma sub-classe de Substancia Composta |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 7226-7226 | NitrogenDioxide e' uma sub-classe de Substancia Composta |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6495-6495 | O argumento numero 1 de conjugate e' uma instancia de Substancia Composta |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6496-6496 | O argumento numero 2 de conjugate e' uma instancia de Substancia Composta |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1770-1770 | O argumento numero 3 de molecularRatio e' uma sub-classe de Substancia Composta |
| antecedent |
|
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6478-6488 | Entidade e' uma instancia de ConjugatedSubstance Objeto Objeto and Processo Objeto e' uma instancia de Substancia Composta Objeto e' uma instancia de Substancia Composta Objeto e' igual a Objeto Processo e' uma instancia de Sintese Quimica Objeto e' um recurso para Processo Objeto e' um recurso para Processo Entidade e' o resultado de Processo |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12547-12556 |
|
|
|
|