Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| DiameterLine(diameter line) |
| appearance as argument number 1 |
|
| (subAttribute DiameterLine ChordOfACircle) | Mid-level-ontology.kif 5998-5998 | Diameter line is a subattribute of chord of a circle |
| (documentation DiameterLine EnglishLanguage "A DiameterLine of a circle is any straight line that passes through the centre of the Circle and whose endpoints lie on the circle.[wikepedia]") | Mid-level-ontology.kif 5999-6000 | Diameter line is a subattribute of chord of a circle |
| appearance as argument number 2 |
|
|
| (relatedInternalConcept TangentLine DiameterLine) | Mid-level-ontology.kif 5395-5395 | Tangent line is internally related to diameter line |
| (termFormat EnglishLanguage DiameterLine "diameter line") | Mid-level-ontology.kif 6001-6001 | Tangent line is internally related to diameter line |
| antecedent |
|
|
| (=> (equal ?D DiameterLine) (exists (?C) (and (equal ?C Circle) (lineMeasure ?D (DiameterFn ?C))))) |
Mid-level-ontology.kif 6011-6017 | If equal X and diameter line, then there exists Y such that equal Y, circle, and the diameter of Y is a line measure of X |
| consequent |
|
|
| (=> (and (equal ?CHORD ChordOfACircle) (pointOfFigure (CenterOfCircleFn ?C) ?CHORD) (equal ?C Circle)) (equal ?CHORD DiameterLine)) |
Mid-level-ontology.kif 6003-6009 | If equal X and chord of a circle, the center of circle of Y is a vertex of X, and equal Y and circle, then equal X and diameter line |
|