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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - parallel
parallel

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


(documentation parallel ChineseLanguage "(parallel ?LINE1 ?LINE2)的意思是 OneDimensionalFigure 的 ?LINE1 和 ?LINE2 是相互平衡的,即是它们在每一个点上的距离是相互等距的。") chinese_format.kif 3991-3992
(documentation parallel EnglishLanguage "(parallel ?LINE1 ?LINE2) means that the OneDimensionalFigures ?LINE1 and ?LINE2 are parallel to one another, i.e. they are equidistant from one another at every point.") Merge.kif 16631-16633
(domain parallel 1 OneDimensionalFigure) Merge.kif 16629-16629 The number 1 argument of parallel is an instance of one dimensional figure
(domain parallel 2 OneDimensionalFigure) Merge.kif 16630-16630 The number 2 argument of parallel is an instance of one dimensional figure
(instance parallel BinaryPredicate) Merge.kif 16628-16628 parallel is an instance of binary predicate

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


(format ChineseLanguage parallel "%2 %n 是 %1 的 parallel ") domainEnglishFormat.kif 1899-1899
(format ChineseTraditionalLanguage parallel "%2 %n 是 %1 的 parallel ") domainEnglishFormat.kif 1898-1898
(format EnglishLanguage parallel "%2 is %n a parallel of %1") domainEnglishFormat.kif 1897-1897
(termFormat ChineseLanguage parallel "平行") domainEnglishFormat.kif 44302-44302
(termFormat ChineseTraditionalLanguage parallel "平行") domainEnglishFormat.kif 44301-44301
(termFormat EnglishLanguage parallel "parallel") domainEnglishFormat.kif 44300-44300

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


(=>
    (parallel ?LINE1 ?LINE2)
    (not
        (exists (?POINT)
            (pointOfIntersection ?LINE1 ?LINE2 ?POINT))))
Merge.kif 16635-16639


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



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