sideOfFigure |
appearance as argument number 1 |
(documentation sideOfFigure EnglishLanguage "(sideOfFigure ?SIDE ?FIGURE) means that the OneDimensionalFigure ?POINT is a side of the GeometricFigure ?FIGURE.") | Mid-level-ontology.kif 4981-4982 | |
(domain sideOfFigure 1 OneDimensionalFigure) | Mid-level-ontology.kif 4979-4979 | |
(domain sideOfFigure 2 GeometricFigure) | Mid-level-ontology.kif 4980-4980 | |
(instance sideOfFigure BinaryPredicate) | Mid-level-ontology.kif 4978-4978 | |
(subrelation sideOfFigure geometricPart) | Mid-level-ontology.kif 4977-4977 |
appearance as argument number 2 |
(format ChineseLanguage sideOfFigure "%2 的 side %n 是 %1") | chinese_format.kif 788-788 | |
(format EnglishLanguage sideOfFigure "the size of %2 is %n %1") | english_format.kif 790-790 | |
(format FrenchLanguage sideOfFigure "le taille de %2 est %n %1") | french_format.kif 475-475 | |
(format JapaneseLanguage sideOfFigure "%2 の size は %1 では %n") | english_format.kif 791-791 | |
(format PortugueseLanguage sideOfFigure "o lado de %2 e' %n %1") | portuguese_format.kif 427-427 | |
(format ro sideOfFigure "size%t{dimensiunea} lui %2 %n{nu} este %1") | relations-ro.kif 497-497 | |
(termFormat ChineseLanguage sideOfFigure "图形的边") | chinese_format.kif 789-789 | |
(termFormat ChineseLanguage sideOfFigure "图的一面") | domainEnglishFormat.kif 52946-52946 | |
(termFormat ChineseTraditionalLanguage sideOfFigure "圖的一面") | domainEnglishFormat.kif 52945-52945 | |
(termFormat EnglishLanguage sideOfFigure "side of figure") | domainEnglishFormat.kif 52944-52944 |
antecedent |
(=> (and (attribute ?X ?SHAPE) (instance ?X FourPosterBed) (instance ?SHAPE Quadrilateral) (sideOfFigure ?SIDE1 ?SHAPE) (sideOfFigure ?SIDE2 ?SHAPE) (not (equal ?SIDE1 ?SIDE2))) (exists (?POST ?FLOOR ?CORNER1 ?CORNER) (and (part ?POST ?X) (instance ?FLOOR Floor) (orientation ?X ?FLOOR On) (orientation ?POST ?FLOOR Vertical) (pointOfIntersection ?SIDE1 ?SIDE2 ?CORNER1) (attribute ?CORNER ?CORNER1) (meetsSpatially ?CORNER ?POST)))) |
Mid-level-ontology.kif 4078-4095 | |
(=> (sideOfFigure ?SIDE Square) (lineMeasure ?SIDE ?LENGTH)) |
Mid-level-ontology.kif 4930-4932 |
consequent |
(=> (instance ?POLYGON Polygon) (exists (?SIDE) (and (sideOfFigure ?SIDE ?POLYGON) (geometricPart ?SIDE ?POLYGON)))) |
Mid-level-ontology.kif 4883-4888 | |
(=> (instance ?QUAD Quadrilateral) (equal (CardinalityFn (KappaFn ?SIDE (sideOfFigure ?SIDE ?QUAD))) 4)) |
Mid-level-ontology.kif 4914-4919 |
statement |
(equal (CardinalityFn (KappaFn ?SIDE (sideOfFigure ?SIDE Triangle))) 3) |
Mid-level-ontology.kif 4893-4896 |