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 7588-7589
(externalImage ChemicalSalt " 7/ 7f/ Salt_collector_in_Lake_Retba.jpg") pictureList.kif 6835-6835
(externalImage ChemicalSalt " d/ d8/ Saltmill.jpg") pictureList.kif 7781-7781
(subclass ChemicalSalt CompoundSubstance) Mid-level-ontology.kif 7587-7587 Salt is a subclass of compound substance

appearance as argument number 2

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


        (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 7571-7581

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