TreeView Knowledge Base Browser

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 4976-4977
(domain sideOfFigure 1 OneDimensionalFigure)	Mid-level-ontology.kif 4974-4974	图形的边的 1 数量是一维图的 instance
(domain sideOfFigure 2 GeometricFigure)	Mid-level-ontology.kif 4975-4975	图形的边的 2 数量是几何图的 instance
(instance sideOfFigure BinaryPredicate)	Mid-level-ontology.kif 4973-4973	图形的边是二元谓语的 instance
(subrelation sideOfFigure geometricPart)	Mid-level-ontology.kif 4972-4972	图形的边是几何部分的 subrelation

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 52948-52948
(termFormat ChineseTraditionalLanguage sideOfFigure "圖的一面")	domainEnglishFormat.kif 52947-52947
(termFormat EnglishLanguage sideOfFigure "side of figure")	domainEnglishFormat.kif 52946-52946

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 4071-4088	如果几何图是客体的 attribute 和那个客体是 FourPosterBed 的 instance 和那个几何图是四边形的 instance 和那个几何图的 side 是一维图和那个几何图的 side 是另一个一维图和那个一维图不 equal 那个另外一维图，然后有存在另一个客体，第三客体,，，几何点， and 和第四客体这样那个另外客体是那个客体的 part 和那个第三客体是地板的 instance 和那个客体在那个第三客体的上和那个另外客体在那个第三客体的垂直和那个一维图是对于那个几何点的交接点那个另外一维图和那个几何点是那个第四客体的 attribute 和那个第四客体接上那个另外客体
(=> (sideOfFigure ?SIDE Square) (lineMeasure ?SIDE ?LENGTH))	Mid-level-ontology.kif 4925-4927	如果正方形的 side 是一维图，然后长度测量是那个一维图的 line 量测

consequent

(=> (instance ?POLYGON Polygon) (exists (?SIDE) (and (sideOfFigure ?SIDE ?POLYGON) (geometricPart ?SIDE ?POLYGON))))	Mid-level-ontology.kif 4878-4883	如果几何图是多边形的 instance，然后有存在一维图这样那个几何图的 side 是那个一维图和那个几何图是那个一维图的 geometric 部分
(=> (instance ?QUAD Quadrilateral) (equal (CardinalityFn (KappaFn ?SIDE (sideOfFigure ?SIDE ?QUAD))) 4))	Mid-level-ontology.kif 4909-4914	如果实体是四边形的 instance，然后符号串所描述的类别 instance 的数量 equal 4

statement

(equal
    (CardinalityFn
        (KappaFn ?SIDE
            (sideOfFigure ?SIDE Triangle))) 3)

Mid-level-ontology.kif 4888-4891

符号串所描述的类别 instance 的数量 equal 3

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: