pointOfIntersection - Sigma Knowledge base Browser

appearance as argument number 1

(documentation pointOfIntersection ChineseLanguage "(pointOfIntersection ?FIGURE1 ?FIGURE2 ?POINT)的意思是两条直线 ?FIGURE1 和 ?FIGURE2 在 ?POINT 点相遇。")	chinese_format.kif 3990-3990
(documentation pointOfIntersection EnglishLanguage "(pointOfIntersection ?FIGURE1 ?FIGURE2 ?POINT) means that the two straight lines ?FIGURE1 and ?FIGURE2 meet at the point ?POINT.")	Merge.kif 17922-17923
(domain pointOfIntersection 1 OneDimensionalFigure)	Merge.kif 17919-17919	Il numero 1 argomenti di pointOfIntersection è un istanza di OneDimensionalFigure
(domain pointOfIntersection 2 OneDimensionalFigure)	Merge.kif 17920-17920	Il numero 2 argomenti di pointOfIntersection è un istanza di OneDimensionalFigure
(domain pointOfIntersection 3 GeometricPoint)	Merge.kif 17921-17921	Il numero 3 argomenti di pointOfIntersection è un istanza di GeometricPoint
(instance pointOfIntersection TernaryPredicate)	Merge.kif 17918-17918	pointOfIntersection è un' istanza di PredicatoTernario

appearance as argument number 2

(format ChineseLanguage pointOfIntersection "%1 %n 是对于 %3 的交接点 %2 ")	domainEnglishFormat.kif 1975-1975
(format ChineseTraditionalLanguage pointOfIntersection "%1 %n 是對於 %3 的交接點 %2 ")	domainEnglishFormat.kif 1974-1974
(format EnglishLanguage pointOfIntersection "%1 is %n point of intersection %2 for %3")	domainEnglishFormat.kif 1973-1973
(termFormat ChineseLanguage pointOfIntersection "交点")	domainEnglishFormat.kif 46364-46364
(termFormat ChineseTraditionalLanguage pointOfIntersection "交點")	domainEnglishFormat.kif 46363-46363
(termFormat EnglishLanguage pointOfIntersection "point of intersection")	domainEnglishFormat.kif 46362-46362

antecedent

(=>
    (pointOfIntersection ?FIGURE1 ?FIGURE2 ?POINT)
    (and
        (pointOfFigure ?POINT ?FIGURE1)
        (pointOfFigure ?POINT ?FIGURE2)))

Merge.kif 17925-17929

consequent

(=> (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 Oggetto and GeometricFigure Oggetto è un' istanza di FourPosterBed GeometricFigure è un' istanza di Quadrilateral sideOfFigure OneDimensionalFigure and GeometricFigure sideOfFigure OneDimensionalFigure and GeometricFigure OneDimensionalFigure is uguale a OneDimensionalFigure Oggetto Oggetto, GeometricPoint and Oggetto Oggetto è una parte di Oggetto Oggetto è un' istanza di Floor Oggetto è On a Oggetto Oggetto è Vertical a Oggetto pointOfIntersection OneDimensionalFigure, OneDimensionalFigure and GeometricPoint attribute Oggetto and GeometricPoint Oggetto incontras Oggetto
(=> (parallel ?LINE1 ?LINE2) (not (exists (?POINT) (pointOfIntersection ?LINE1 ?LINE2 ?POINT))))	Merge.kif 17938-17942	parallel OneDimensionalFigure and OneDimensionalFigure GeometricPoint pointOfIntersection OneDimensionalFigure, OneDimensionalFigure and GeometricPoint

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

KB Term:			Term intersection

English Word: