Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| sphereRadius |
| appearance as argument number 1 |
|
| (instance sphereRadius BinaryPredicate) | Mid-level-ontology.kif 15005-15005 | sphere radius is an instance of binary predicate |
| (domain sphereRadius 1 Object) | Mid-level-ontology.kif 15006-15006 | The number 1 argument of sphere radius is an instance of object |
| (domain sphereRadius 2 LengthMeasure) | Mid-level-ontology.kif 15007-15007 | The number 2 argument of sphere radius is an instance of length measure |
| (documentation sphereRadius EnglishLanguage "(sphereRadius ?OBJECT ?LENGTH) means the radius of the spherical Object, ?OBJECT, is ?LENGTH.") | Mid-level-ontology.kif 15008-15009 | The number 2 argument of sphere radius is an instance of length measure |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage sphereRadius "sphere radius") | Mid-level-ontology.kif 15010-15010 | |
| (format EnglishLanguage sphereRadius "the radius of %1 is %2") | domainEnglishFormat.kif 4592-4592 | |
| (format ChineseTraditionalLanguage sphereRadius "%1 的 radius 是 %2 ") | domainEnglishFormat.kif 4593-4593 | |
| (format ChineseLanguage sphereRadius "%1 的 radius 是 %2 ") | domainEnglishFormat.kif 4594-4594 |
| antecedent |
|
|
| (=> (and (approximateDiameter ?O (MeasureFn ?L ?LM)) (sphereRadius ?S (MeasureFn (DivisionFn ?L 2.0) ?LM)) (measure ?S (MeasureFn ?V1 ?VM)) (measure ?O (MeasureFn ?V2 ?VM)) (instance ?LM UnitOfLength) (instance ?VM UnitOfVolume)) (equal ?V1 ?V2)) |
Mid-level-ontology.kif 19882-19893 | If All of the following hold: (1) the approximate diameter of X is Y Z(s) (2) the radius of W is Y and 2.0 Z(s) (3) the measure of W is V U(s) (4) the measure of X is T U(s) (5) Z is an instance of unit of length (6) U is an instance of unit of volume, then equal V and T |
| 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 |
| (=> (and (defaultMinimumSphereRadius ?OBJECT (MeasureFn ?R ?U)) (instance ?INST ?OBJECT) (attribute ?INST Sphere)) (modalAttribute (exists (?RADIUS) (and (sphereRadius ?INST (MeasureFn ?RADIUS ?U)) (lessThan ?RADIUS ?R))) Unlikely)) |
Mid-level-ontology.kif 15030-15040 | If the minimum expected radius of X is Y Z(s), W is an instance of X, and sphere is an attribute of W, then the statement there exists V such that the radius of W is V Z(s) and V is less than Y has the modal force of unlikely |
| (=> (and (defaultMaximumSphereRadius ?OBJECT (MeasureFn ?R ?U)) (instance ?INST ?OBJECT) (attribute ?INST Sphere)) (modalAttribute (exists (?RADIUS) (and (sphereRadius ?INST (MeasureFn ?RADIUS ?U)) (greaterThan ?RADIUS ?R))) Unlikely)) |
Mid-level-ontology.kif 15049-15060 | If the maximum expected radius of X is Y Z(s), W is an instance of X, and sphere is an attribute of W, then the statement there exists V such that the radius of W is V Z(s) and V is greater than Y has the modal force of unlikely |
|