| 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 5285-5286 | |
| (domain sideOfFigure 1 OneDimensionalFigure) | Mid-level-ontology.kif 5283-5283 | |
| (domain sideOfFigure 2 GeometricFigure) | Mid-level-ontology.kif 5284-5284 | |
| (instance sideOfFigure BinaryPredicate) | Mid-level-ontology.kif 5282-5282 | |
| (subrelation sideOfFigure geometricPart) | Mid-level-ontology.kif 5281-5281 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage sideOfFigure "%2 的 side %n 是 %1") | chinese_format.kif 788-788 | |
| (format EnglishLanguage sideOfFigure "%2 の size は %1 では %n") | english_format.kif 794-794 | |
| (format EnglishLanguage sideOfFigure "the size of %2 is %n %1") | english_format.kif 793-793 | |
| (termFormat ChineseLanguage sideOfFigure "图形的边") | chinese_format.kif 789-789 | |
| (termFormat ChineseLanguage sideOfFigure "图的一面") | domainEnglishFormat.kif 52940-52940 | |
| (termFormat ChineseTraditionalLanguage sideOfFigure "圖的一面") | domainEnglishFormat.kif 52939-52939 | |
| (termFormat EnglishLanguage sideOfFigure "side of figure") | domainEnglishFormat.kif 52938-52938 |
| consequent |
|
|
| (=> (instance ?POLYGON Polygon) (=> (geometricPart ?PART ?POLYGON) (or (sideOfFigure ?PART ?POLYGON) (exists (?SIDE) (and (sideOfFigure ?SIDE ?POLYGON) (geometricPart ?PART ?SIDE)))))) |
Mid-level-ontology.kif 5192-5201 | |
| (=> (instance ?QUAD Quadrilateral) (equal (CardinalityFn (KappaFn ?SIDE (sideOfFigure ?SIDE ?QUAD))) 4)) |
Mid-level-ontology.kif 5223-5225 | |
| (=> (instance ?SQUARE Square) (exists (?LENGTH) (forall (?SIDE) (=> (sideOfFigure ?SIDE ?SQUARE) (lineMeasure ?SIDE ?LENGTH))))) |
Mid-level-ontology.kif 5240-5246 | |
| (=> (instance ?TRIANGLE Triangle) (equal (CardinalityFn (KappaFn ?SIDE (sideOfFigure ?SIDE ?TRIANGLE))) 3)) |
Mid-level-ontology.kif 5206-5208 | |
| (=> (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 4551-4570 |
|
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