Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Circumference(Circumference) |
| appearance as argument number 1 |
|
| (instance Circumference MeasurementAttribute) | Mid-level-ontology.kif 33703-33703 | Circumference is an instance of measurement attribute |
| (documentation Circumference EnglishLanguage "As with circumference, the Circumference of an Object is the length of the boundary of circle.") | Mid-level-ontology.kif 33705-33706 | Circumference is an instance of measurement attribute |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Circumference "Circumference") | Mid-level-ontology.kif 33708-33708 |
| antecedent |
|
|
| (=> (and (memberMeasure ?S Circumference ?Q) (instance ?S Class) (instance ?O ?S)) (circumference ?O ?Q)) |
Mid-level-ontology.kif 33717-33722 | If members of X have the measure Y in terms of Circumference, X is an instance of class, and Z is an instance of X, then circumference Z and Y |
|