| 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 17587-17588 | |
| (domain pointOfIntersection 1 OneDimensionalFigure) | Merge.kif 17584-17584 | 交点 的 1 数量 是 一维图 的 instance |
| (domain pointOfIntersection 2 OneDimensionalFigure) | Merge.kif 17585-17585 | 交点 的 2 数量 是 一维图 的 instance |
| (domain pointOfIntersection 3 GeometricPoint) | Merge.kif 17586-17586 | 交点 的 3 数量 是 几何点 的 instance |
| (instance pointOfIntersection TernaryPredicate) | Merge.kif 17583-17583 | 交点 是 三元谓语 的 instance |
| 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 46345-46345 | |
| (termFormat ChineseTraditionalLanguage pointOfIntersection "交點") | domainEnglishFormat.kif 46344-46344 | |
| (termFormat EnglishLanguage pointOfIntersection "point of intersection") | domainEnglishFormat.kif 46343-46343 |
| antecedent |
|
|
| (=> (pointOfIntersection ?FIGURE1 ?FIGURE2 ?POINT) (and (pointOfFigure ?POINT ?FIGURE1) (pointOfFigure ?POINT ?FIGURE2))) |
Merge.kif 17590-17594 |
| consequent |
|
|
| (=> (instance ?X FourPosterBed) (exists (?SHAPE) (and (attribute ?X ?SHAPE) (instance ?SHAPE Quadrilateral) (forall (?CORNER) (=> (and (pointOfIntersection ?SIDE1 ?SIDE2 ?CORNER) (sideOfFigure ?SIDE1 ?SHAPE) (sideOfFigure ?SIDE2 ?SHAPE) (not (equal ?SIDE1 ?SIDE2))) (exists (?POST ?FLOOR) (and (meetsSpatially ?CORNER ?POST) (instance ?POST Artifact) (instance ?FLOOR Floor) (orientation ?X ?FLOOR On) (orientation ?POST ?FLOOR Vertical)))))))) |
Mid-level-ontology.kif 3970-3989 | |
| (=> (parallel ?LINE1 ?LINE2) (not (exists (?POINT) (pointOfIntersection ?LINE1 ?LINE2 ?POINT)))) |
Merge.kif 17603-17607 |
|
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