Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - ChemicalSalt
citrate, dibasic_salt, ferrocyanide, iodide, lactate, polyphosphate, pyrophosphate, salt, sulfonate, urate, xanthate

appearance as argument number 1

(documentation ChemicalSalt EnglishLanguage "A bitter CompoundSubstance that is formed in a chemical reaction of a ChemicalBase with a ChemicalAcid.") Mid-level-ontology.kif 8322-8323
(externalImage ChemicalSalt " 7/ 7f/ Salt_collector_in_Lake_Retba.jpg") pictureList.kif 6835-6835
(externalImage ChemicalSalt " d/ d8/ Saltmill.jpg") pictureList.kif 7780-7780
(subclass ChemicalSalt CompoundSubstance) Mid-level-ontology.kif 8321-8321 Salt is a subclass of compound substance

appearance as argument number 2

(subclass SodiumChloride ChemicalSalt) Mid-level-ontology.kif 8325-8325 Salt is a subclass of salt
(termFormat ChineseLanguage ChemicalSalt "化学盐") domainEnglishFormat.kif 14337-14337
(termFormat ChineseLanguage ChemicalSalt "盐") domainEnglishFormat.kif 50974-50974
(termFormat ChineseTraditionalLanguage ChemicalSalt "化學鹽") domainEnglishFormat.kif 14336-14336
(termFormat ChineseTraditionalLanguage ChemicalSalt "鹽") domainEnglishFormat.kif 50973-50973
(termFormat EnglishLanguage ChemicalSalt "chemical salt") domainEnglishFormat.kif 14335-14335
(termFormat EnglishLanguage ChemicalSalt "salt") domainEnglishFormat.kif 50972-50972


        (instance ?CA ChemicalAcid)
        (instance ?CB ChemicalBase)
        (instance ?C ChemicalProcess)
        (patient ?C ?CA)
        (patient ?C ?CB))
    (exists (?CS)
            (instance ?CS ChemicalSalt)
            (result ?C ?CS))))
Mid-level-ontology.kif 8305-8315

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