Advertisement
logicmoo

Untitled

Jan 20th, 2018
240
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
Prolog 2.10 KB | None | 0 0
  1.  
  2. Mt : iUniversalVocabularyMt
  3. genls : [Def]tInorganicMaterial  [Inf]tIonicCompound
  4.  
  5. Mt : iChemicalSolutionsChemistryDomainMt
  6. genls : [Inf]tStrongElectrolyte
  7.  
  8. Mt : iChemistryVocabularyMt
  9. genls : [Inf]tCrystalline
  10.  
  11. Mt : iChemistryMt
  12. anionTypeOfIonicCompoundType :  [Inf]tSulfideIon
  13. [Inf](atomicComposition
  14.     (tColOfIonicDecompositionFn tSodiumIon 2 tSulfideIon 1) tSodium 2)
  15. [Inf](atomicComposition
  16.     (tColOfIonicDecompositionFn tSodiumIon 2 tSulfideIon 1) tSulfur 1)
  17. cationTypeOfIonicCompoundType : [Inf]tSodiumIon
  18.  
  19. Mt : iGeneralEnglishMt
  20. chemicalFormulaString : [R]M"Na2S"
  21.  
  22. Mt : iChemistryMt
  23. [Inf](completeAtomicCompositionList
  24.     (tColOfIonicDecompositionFn tSodiumIon 2 tSulfideIon 1)
  25.     (vTheListFn tSodium tSulfur)
  26.     (vTheListFn 2 1))
  27.  
  28. Mt : iGeneralEnglishMt
  29. dispreferredLexification :  [Inf][R]M(chemicalFormulaString
  30.     (tColOfIonicDecompositionFn tSodiumIon 2 tSulfideIon 1) "Na2S")
  31.  
  32.  
  33. Mt : iChemistryMt
  34. elementTypesInFormulaList : [Inf](vTheListFn tSodium tSulfur)
  35.  
  36. [Mon](ionicDecomposition
  37.     (tColOfIonicDecompositionFn tSodiumIon 2 tSulfideIon 1) tSodiumIon 2 tSulfideIon 1)
  38. isomers :   [Inf]tSodiumSulfide
  39.  
  40. Mt : iChemicalCompositionChemistryDomainMt
  41. molarMassOfType :   [Inf]((cycPerFn vGramFn vMoleChemicalCountUnitFn) 78.04454)
  42.  
  43.  
  44. Mt : iChemicalSolutionsChemistryDomainMt
  45. solubleInTypetype : [Inf](tColOfLiquidFn tWater)
  46.  
  47. Mt : iBaseKB
  48. termOfUnit :    [Mon](tColOfIonicDecompositionFn tSodiumIon 2 tSulfideIon 1)
  49.  
  50. GAF Arg : 2
  51.  
  52. Mt : iChemistryMt
  53. [Inf](isomers tSodiumSulfide
  54.     (tColOfIonicDecompositionFn tSodiumIon 2 tSulfideIon 1))
  55.  
  56. Mt : iOilAndGasIndustryMt
  57. [Inf](typicallyRelnToType properPhysicalParts
  58.     (tColOfIonicDecompositionFn tSodiumIon 2 tSulfideIon 1) tSodiumIon)
  59. [Inf](typicallyRelnToType properPhysicalParts
  60.     (tColOfIonicDecompositionFn tSodiumIon 2 tSulfideIon 1) tSulfideIon)
  61. GAF Arg : 3
  62.  
  63. Mt : iChemicalCompositionChemistryDomainMt
  64. [Inf](oxidationNumberInForm tSodium 1
  65.     (tColOfIonicDecompositionFn tSodiumIon 2 tSulfideIon 1))
  66. [Inf](oxidationNumberInForm tSulfur -2
  67.     (tColOfIonicDecompositionFn tSodiumIon 2 tSulfideIon 1))
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement