Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| SemicircularArc(semicircular arc) |
| appearance as argument number 1 |
|
| (subAttribute SemicircularArc CircularArc) | Mid-level-ontology.kif 5853-5853 | Semicircular arc is a subattribute of circular arc |
| (documentation SemicircularArc EnglishLanguage "The ArcLength of a SemicircularArc is half the Circumference of its Circle.[Wikipedia]") | Mid-level-ontology.kif 5854-5855 | Semicircular arc is a subattribute of circular arc |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage SemicircularArc "semicircular arc") | Mid-level-ontology.kif 5856-5856 |
| antecedent |
|
|
| (=> (and (arcLength ?SEMI (MeasureFn ?L ?U)) (equal ?SEMI SemicircularArc)) (exists (?CIR ?C) (and (equal ?CIR Circle) (geometricPart ?SEMI ?CIR) (circumference ?CIR (MeasureFn ?C ?U)) (equal ?C (AdditionFn ?L ?L))))) |
Mid-level-ontology.kif 5857-5867 | If X Y(s) is the LengthMeasure of Z and equal Z and semicircular arc, then there exist W and V such that equal W and circle and W is a geometric part of Z and circumference W and V Y(s) and equal V and (X and X) |
|