Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  ListFn__7Fn__0En1Ra2En3In4In5En6In7InFn
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Insoluble EnglishLanguage "If a &Substance has the SolubilityAttribute of being Insoluble, then it cannot be combined with another Substance to become a solution mixture.") | Mid-level-ontology.kif 23800-23802 | |
| (documentation Insoluble ChineseLanguage "如果一种 &Substance 有 Insoluble SolubilityAttribute 的话，那么它就不能和另外一个 Substance 结合成为一种均匀混合物。") | Mid-level-ontology.kif 23803-23804 | |
| (subclass Insoluble SolubilityAttribute) | Mid-level-ontology.kif 23807-23807 | Insoluble is a subclass of solubility attribute |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?X Substance) (attribute ?X Insoluble)) (not (modalAttribute (exists (?Y ?Z) (and (instance ?Y Substance) (instance ?Z Solution) (piece ?X ?Z) (piece ?Y ?Z))) Possibility))) |
Mid-level-ontology.kif 23809-23821 | If X is an instance of substance and insoluble is an attribute of X, then the statement there don't exist Y, Z such that Y is an instance of substance, Z is an instance of solution, X is a piece of Z, and Y is a piece of Z doesn't have the modal force of possibility |
| consequent |
|
|
| (=> (instance ?Z Colloid) (exists (?P ?S) (and (part ?P ?Z) (attribute ?P Insoluble) (approximateDiameter ?P (MeasureFn ?S Nanometer)) (greaterThan 977.0 ?S) (greaterThan ?S 0.95)))) |
Mid-level-ontology.kif 23833-23842 | If X is an instance of colloid, then there exist Y and Z such that Y is a part of X and insoluble is an attribute of Y and the approximate diameter of Y is Z nanometer(s) and 977.0 is greater than Z and Z is greater than 0.95 |
|