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

Formal Language: 



KB Term:  Term intersection
English Word: 

  geometricPart

 Sigma KEE - geometricPart
geometricPart

appearance as argument number 1
-------------------------


(documentation geometricPart ChineseLanguage "(geometricPart ?PART ?WHOLE)的意思是 GeometricFigure ?PART 是 GeometricFigure ?WHOLE 的一部分。") chinese_format.kif 3984-3985
(documentation geometricPart EnglishLanguage "(geometricPart ?PART ?WHOLE) means that the GeometricFigure ?PART is part of the GeometricFigure ?WHOLE.") Merge.kif 17901-17902
(domain geometricPart 1 GeometricFigure) Merge.kif 17899-17899 Le nombre 1 argument de geometricPart est une instance de GeometricFigure
(domain geometricPart 2 GeometricFigure) Merge.kif 17900-17900 Le nombre 2 argument de geometricPart est une instance de GeometricFigure
(instance geometricPart BinaryPredicate) Merge.kif 17897-17897 geometricPart est une instance de pr�dicat binaire
(instance geometricPart PartialOrderingRelation) Merge.kif 17898-17898 geometricPart est une instance de relation partiellement dirig�e

appearance as argument number 2
-------------------------


(format ChineseLanguage geometricPart "%2 %n 是 %1 的 geometric 部分") domainEnglishFormat.kif 1105-1105
(format ChineseTraditionalLanguage geometricPart "%2 %n 是 %1 的 geometric 部分") domainEnglishFormat.kif 1104-1104
(format EnglishLanguage geometricPart "%2 is %n a geometric part of %1") domainEnglishFormat.kif 1103-1103
(subrelation angleOfFigure geometricPart) Merge.kif 17911-17911 angleOfFigure est une sous-relation de geometricPart
(subrelation pointOfFigure geometricPart) Merge.kif 17904-17904 pointOfFigure est une sous-relation de geometricPart
(subrelation sideOfFigure geometricPart) Mid-level-ontology.kif 4972-4972 sideOfFigure est une sous-relation de geometricPart
(termFormat ChineseLanguage geometricPart "几何部分") domainEnglishFormat.kif 25824-25824
(termFormat ChineseTraditionalLanguage geometricPart "幾何部分") domainEnglishFormat.kif 25823-25823
(termFormat EnglishLanguage geometricPart "geometric part") domainEnglishFormat.kif 25822-25822

antecedent
-------------------------


(=>
    (and
        (instance ?POLYGON Polygon)
        (geometricPart ?PART ?POLYGON))
    (instance ?PART OneDimensionalFigure))		 Mid-level-ontology.kif 4872-4876

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


(=>
    (instance ?POLYGON Polygon)
    (exists (?SIDE)
        (and
            (sideOfFigure ?SIDE ?POLYGON)
            (geometricPart ?SIDE ?POLYGON))))		 Mid-level-ontology.kif 4878-4883


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