time
|
|
appearance as argument number 1 |
(documentation SodiumChloride EnglishLanguage "SodiumChloride is the compound of Sodium and Chloride, which may appear in crystalline form or in solution with water or other substances. It is a compound found in solution in significant quantities in sea water.") | Mid-level-ontology.kif 8777-8779 | |
(externalImage SodiumChloride "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9a/ Salt_crystals_in_death_valley.jpg") | pictureList.kif 7776-7776 | |
(externalImage SodiumChloride "http://upload.wikimedia.org/wikipedia/commons/ a/ ab/ Salt-packet.jpg") | pictureList.kif 7777-7777 | |
(externalImage SodiumChloride "http://upload.wikimedia.org/wikipedia/commons/ d/ dd/ Piles_of_Salt_Salar_de_Uyuni_Bolivia_Luca_Galuzzi_2006_a.jpg") | pictureList.kif 7780-7780 | |
(externalImage SodiumChloride "http://upload.wikimedia.org/wikipedia/commons/ e/ e7/ Salt_ship_loading.jpg") | pictureList.kif 7781-7781 | |
(externalImage SodiumChloride "http://upload.wikimedia.org/wikipedia/en/ 4/ 43/ Image-Zigong_Salt.jpg") | pictureList.kif 7782-7782 | |
(mixturePartType SodiumChloride RingersLactate) | Medicine.kif 5881-5881 | |
(roomTempState SodiumChloride Solid) | Mid-level-ontology.kif 31683-31683 | |
(subclass SodiumChloride ChemicalSalt) | Mid-level-ontology.kif 8773-8773 |
appearance as argument number 2 |
(names "NaCl" SodiumChloride) | Mid-level-ontology.kif 8775-8775 | |
(names "salt" SodiumChloride) | Mid-level-ontology.kif 8774-8774 | |
(termFormat ChineseLanguage SodiumChloride "氯化钠") | domainEnglishFormat.kif 53680-53680 | |
(termFormat ChineseLanguage SodiumChloride "盐") | domainEnglishFormat.kif 53686-53686 | |
(termFormat ChineseTraditionalLanguage SodiumChloride "氯化鈉") | domainEnglishFormat.kif 53679-53679 | |
(termFormat ChineseTraditionalLanguage SodiumChloride "鹽") | domainEnglishFormat.kif 53685-53685 | |
(termFormat EnglishLanguage SodiumChloride "salt") | domainEnglishFormat.kif 53684-53684 | |
(termFormat EnglishLanguage SodiumChloride "sodium chloride") | domainEnglishFormat.kif 53678-53678 |
appearance as argument number 3 |
(molecularRatio Chlorine 1 SodiumChloride) | Medicine.kif 5868-5868 | |
(molecularRatio Sodium 1 SodiumChloride) | Medicine.kif 5869-5869 |
antecedent |
(=> (and (instance ?B Brine) (measure ?B (MeasureFn 1.0 Liter)) (part ?SALT ?B) (instance ?SALT SodiumChloride) (measure ?SALT (MeasureFn ?R Gram))) (and (greaterThan ?R 35.0) (lessThanOrEqualTo ?R 260.0))) |
Geography.kif 2873-2884 | |
(=> (and (instance ?SW BrackishWater) (measure ?SW (MeasureFn 1.0 Liter)) (part ?SALT ?SW) (instance ?SALT SodiumChloride) (measure ?SALT (MeasureFn ?R Gram))) (and (greaterThan ?R 0.5) (lessThanOrEqualTo ?R 30.0))) |
Geography.kif 2855-2866 | |
(=> (and (instance ?SW SeaWater) (measure ?SW (MeasureFn 1.0 Liter)) (part ?SALT ?SW) (instance ?SALT SodiumChloride) (measure ?SALT (MeasureFn ?R Gram))) (approximateValue ?R 35.0)) |
Geography.kif 2836-2845 | |
(=> (instance ?SALT SodiumChloride) (exists (?SYNTHESIS ?SODIUM ?CHLORINE) (and (instance ?SYNTHESIS ChemicalSynthesis) (resource ?SYNTHESIS ?SODIUM) (instance ?SODIUM Sodium) (resource ?SYNTHESIS ?CHLORINE) (instance ?CHLORINE Chlorine) (result ?SYNTHESIS ?SALT)))) |
Mid-level-ontology.kif 8781-8790 |
consequent |
(=> (and (instance ?SOLUTION SalineSolution) (part ?PART ?SOLUTION)) (or (instance ?PART SodiumChloride) (instance ?PART Water))) |
Mid-level-ontology.kif 8801-8807 | |
(=> (instance ?B Bacon) (material SodiumChloride ?B)) |
Food.kif 2139-2141 | |
(=> (instance ?C CuringFood) (exists (?F ?P ?S) (and (instance ?F Food) (patient ?C ?F) (instance ?P Putting) (subProcess ?P ?C) (instance ?S SodiumChloride) (patient ?P ?S) (destination ?P ?F)))) |
Food.kif 84-94 | |
(=> (instance ?PROCESS Salination) (exists (?SALT) (and (instance ?SALT SodiumChloride) (resource ?PROCESS ?SALT)))) |
Geography.kif 2900-2905 | |
(=> (instance ?SWEAT Sweat) (exists (?PART) (and (instance ?PART SodiumChloride) (part ?PART ?SWEAT)))) |
Mid-level-ontology.kif 9488-9493 |