No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8741-8741 | ChemicalSalt e' uma sub-classe de Substancia Composta |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8745-8745 | SodiumChloride e' uma sub-classe de ChemicalSalt |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5864-5864 | CalciumChloride e' uma sub-classe de ChemicalSalt |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5871-5871 | PotassiumChloride e' uma sub-classe de ChemicalSalt |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5875-5875 | SodiumLactate e' uma sub-classe de ChemicalSalt |
![]() |