Square(广场) |
appearance as argument number 1 |
(documentation Square EnglishLanguage "Any Rectangle whose sides are all equal.") | Mid-level-ontology.kif 4935-4935 | |
(subclass Square Rectangle) | Mid-level-ontology.kif 4934-4934 | 广场 是 长方形 的 subclass |
appearance as argument number 2 |
(termFormat ChineseLanguage Square "广场") | domainEnglishFormat.kif 54864-54864 | |
(termFormat ChineseTraditionalLanguage Square "廣場") | domainEnglishFormat.kif 54863-54863 | |
(termFormat EnglishLanguage Square "square") | domainEnglishFormat.kif 54862-54862 |
antecedent |
(=> (instance ?SQUARE Square) (exists (?LENGTH) (forall (?SIDE) (=> (sideOfFigure ?SIDE ?SQUARE) (lineMeasure ?SIDE ?LENGTH))))) |
Mid-level-ontology.kif 4937-4943 |