Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| diameter |
| appearance as argument number 1 |
|
| (instance diameter BinaryPredicate) | Merge.kif 7833-7833 | diameter is an instance of binary predicate |
| (instance diameter SingleValuedRelation) | Merge.kif 7834-7834 | diameter is an instance of single valued relation |
| (instance diameter TotalValuedRelation) | Merge.kif 7835-7835 | diameter is an instance of total valued relation |
| (domain diameter 1 Circle) | Merge.kif 7836-7836 | The number 1 argument of diameter is an instance of circle |
| (domain diameter 2 LengthMeasure) | Merge.kif 7837-7837 | The number 2 argument of diameter is an instance of length measure |
| (documentation diameter EnglishLanguage "(diameter ?CIRCLE ?LENGTH) means that the diameter of the Circle ?CIRCLE has a length of ?LENGTH.") | Merge.kif 7839-7840 | The number 2 argument of diameter is an instance of length measure |
| appearance as argument number 2 |
|
|
| (relatedInternalConcept arcLength diameter) | Mid-level-ontology.kif 5838-5838 | arc length is internally related to diameter |
| (termFormat EnglishLanguage diameter "diameter") | domainEnglishFormat.kif 19428-19428 | arc length is internally related to diameter |
| (termFormat ChineseTraditionalLanguage diameter "直徑") | domainEnglishFormat.kif 19429-19429 | arc length is internally related to diameter |
| (termFormat ChineseLanguage diameter "直径") | domainEnglishFormat.kif 19430-19430 | arc length is internally related to diameter |
| (format EnglishLanguage diameter "the diameter of %1 is %n %2") | english_format.kif 620-620 | arc length is internally related to diameter |
| antecedent |
|
|
| (=> (diameter ?CIRCLE ?LENGTH) (exists (?NHALF ?UHALF) (and (radius ?CIRCLE (MeasureFn ?NHALF ?UHALF)) (equal (MeasureFn (MultiplicationFn ?NHALF 2) ?UHALF) ?LENGTH)))) |
Merge.kif 7842-7847 | If the diameter of X is Y, then there exist Z and W such that the radius of X is Z W(s) and equal Z and 2 W(s) and Y |
| (=> (diameter ?CIRCLE ?LENGTH) (attribute ?CIRCLE Circle)) |
Merge.kif 7849-7851 | If the diameter of X is Y, then circle is an attribute of X |
| (=> (and (instance ?ET EustachianTube) (part ?ET ?H) (attribute ?H Healthy) (diameter ?ET (MeasureFn ?N Millimeter))) (approximateValue ?N 3.0)) |
Anatomy.kif 1548-1555 | If X is an instance of Eustachian tube, X is a part of Y, healthy is an attribute of Y, and the diameter of X is Z millimeter(s), then the approximate value of Z is 3.0 |
| (=> (and (instance ?ET AuditoryCanal) (part ?ET ?H) (attribute ?H Healthy) (diameter ?ET (MeasureFn ?N Millimeter))) (approximateValue ?N 0.7)) |
Anatomy.kif 1598-1605 | If X is an instance of auditory canal, X is a part of Y, healthy is an attribute of Y, and the diameter of X is Z millimeter(s), then the approximate value of Z is 0.7 |
| consequent |
|
|
| (=> (circumference ?CIRCLE ?LENGTH) (exists (?D ?UNIT) (and (diameter ?CIRCLE (MeasureFn ?D ?UNIT)) (equal (MeasureFn (MultiplicationFn ?D 3.14) ?UNIT) ?LENGTH)))) |
Mid-level-ontology.kif 33742-33750 | If circumference X and Y, then there exist Z and W such that the diameter of X is Z W(s) and equal Z and 3.14 W(s) and Y |
| (=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (diameter ?O ?Q)) |
Mid-level-ontology.kif 33764-33769 | If members of X have the measure Y in terms of Z, X is an instance of set, and W is an element of X, then the diameter of W is Y |
| (=> (and (memberMeasure ?S Diameter ?Q) (instance ?S Class) (instance ?O ?S)) (diameter ?O ?Q)) |
Mid-level-ontology.kif 33771-33776 | If members of X have the measure Y in terms of Diameter, X is an instance of class, and Z is an instance of X, then the diameter of Z is Y |
| (=> (and (cylinderBore ?CY ?M) (instance ?CY HoleRegion) (shape ?CY Cylinder) (part ?CI ?CY) (instance ?CI Region) (shape ?CI ?C) (equal ?C Circle)) (diameter ?C ?M)) |
Cars.kif 1419-1428 | If All of the following hold: (1) the bore of X is Y (2) X is an instance of hole (3) X is cylinder (4) Z is a part of X (5) Z is an instance of region (6) Z is W (7) equal W and circle, then the diameter of W is Y |
| (=> (instance ?HOLE GolfHole) (exists (?C ?CIR) (and (shape ?HOLE Cylinder) (top ?C ?HOLE) (instance ?C Region) (shape ?C ?CIR) (equal ?CIR Circle) (diameter ?CIR (MeasureFn 4.25 Inch))))) |
Sports.kif 990-1000 | If X is an instance of golf hole, then there exist Y and Z such that X is cylinder and the top of X is Y and Y is an instance of region and Y is Z and equal Z and circle and the diameter of Z is 4.25 inch(s) |
|