Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  FlexalVirus

 Sigma KEE - sideOfFigure
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 4976-4977
(domain sideOfFigure 1 OneDimensionalFigure) Mid-level-ontology.kif 4974-4974 Il numero 1 argomenti di sideOfFigure è un istanza di OneDimensionalFigure
(domain sideOfFigure 2 GeometricFigure) Mid-level-ontology.kif 4975-4975 Il numero 2 argomenti di sideOfFigure è un istanza di GeometricFigure
(instance sideOfFigure BinaryPredicate) Mid-level-ontology.kif 4973-4973 sideOfFigure è un' istanza di PredicatoBinario
(subrelation sideOfFigure geometricPart) Mid-level-ontology.kif 4972-4972 sideOfFigure è una sottorelazione di geometricPart

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
(=>
    (sideOfFigure ?SIDE Square)
    (lineMeasure ?SIDE ?LENGTH))		 Mid-level-ontology.kif 4925-4927

consequent
-------------------------


(=>
    (instance ?POLYGON Polygon)
    (exists (?SIDE)
        (and
            (sideOfFigure ?SIDE ?POLYGON)
            (geometricPart ?SIDE ?POLYGON))))		 Mid-level-ontology.kif 4878-4883
(=>
    (instance ?QUAD Quadrilateral)
    (equal
        (CardinalityFn
            (KappaFn ?SIDE
                (sideOfFigure ?SIDE ?QUAD))) 4))		 Mid-level-ontology.kif 4909-4914

statement
-------------------------


(equal
    (CardinalityFn
        (KappaFn ?SIDE
            (sideOfFigure ?SIDE Triangle))) 3)		 Mid-level-ontology.kif 4888-4891 Il numero di istanzia in la classe descritta da Stringa is uguale a 3


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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners