Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Steel(steel) |  | steel |
| appearance as argument number 1 |
|
|
| (subclass Steel MetallicAlloy) | Mid-level-ontology.kif 10295-10295 | Steel is a subclass of metallic alloy |
| (documentation Steel EnglishLanguage "A MetallicAlloy made from Iron and other elements.") | Mid-level-ontology.kif 10296-10296 | Steel is a subclass of metallic alloy |
| (subclass Steel MetalArtifact) | Society.kif 1413-1413 | Steel is a subclass of MetalArtifact |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?STEEL Steel) (exists (?IRON) (and (instance ?IRON Iron) (part ?IRON ?STEEL)))) |
Mid-level-ontology.kif 10298-10303 | If X is an instance of steel, then there exists Y such that Y is an instance of iron and Y is a part of X |
| consequent |
|
|
| (=> (equal (MeasureFn ?X PoundForce) (JankaHardnessFn ?CLASS)) (modalAttribute (exists (?T ?W ?P ?B ?H ?S) (and (instance ?T ?CLASS) (part ?W ?T) (instance ?W Wood) (instance ?P Pushing) (destination ?P ?W) (instance ?B Ball) (material ?B Steel) (patient ?P ?B) (sphereRadius ?B (MeasureFn 5.64 Millimeter)) (result ?P ?H) (instance ?H HoleRegion) (part ?H ?W) (surface ?S ?W) (distance ?S ?H (MeasureFn 5.64 Millimeter)) (measure ?P (MeasureFn ?X PoundForce)))) Likely)) |
Mid-level-ontology.kif 10569-10592 | If equal X pound force(s) and The Janka Hardness of Y is, then the statement there exist Z, W,, , V,, , U,, , T and S such that Z is an instance of Y and W is a part of Z and W is an instance of wood and V is an instance of pushing and V ends up at W and U is an instance of ball and steel is made of U and U is a patient of V and the radius of U is 5.64 millimeter(s) and T is a result of V and T is an instance of hole and T is a part of W and S is a surface of W and the distance between S and T is 5.64 millimeter(s) and the measure of V is X pound force(s) has the modal force of likely |
| (=> (instance ?R Rusting) (exists (?I ?O) (and (patient ?R ?I) (or (instance ?I Iron) (instance ?I Steel)) (result ?R ?O) (instance ?O Rust)))) |
Transportation.kif 4831-4840 | If X is an instance of rusting, then there exist Y, Z such that Y is a patient of X, Y is an instance of iron or Y is an instance of steel, Z is a result of X, and Z is an instance of rust |
|