| Square | |
| appearance as argument number 1 |
|
|
| (documentation Square EnglishLanguage "Any Rectangle whose sides are all equal.") | Mid-level-ontology.kif 5238-5238 | |
| (subclass Square Rectangle) | Mid-level-ontology.kif 5237-5237 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Square "广场") | domainEnglishFormat.kif 54854-54854 | |
| (termFormat ChineseTraditionalLanguage Square "廣場") | domainEnglishFormat.kif 54853-54853 | |
| (termFormat EnglishLanguage Square "square") | domainEnglishFormat.kif 54852-54852 |
| antecedent |
|
|
| (=> (instance ?SQUARE Square) (exists (?LENGTH) (forall (?SIDE) (=> (sideOfFigure ?SIDE ?SQUARE) (lineMeasure ?SIDE ?LENGTH))))) |
Mid-level-ontology.kif 5240-5246 |
|
|
|