| appearance as argument number 1 |
|
| (documentation side ChineseLanguage "(side ?SIDE ?OBJECT)的意思是 ?SIDE 和 top 或 bottom 相反，是一个物体的旁边。") | chinese_format.kif 2847-2848 | |
| (documentation side EnglishLanguage "(side ?SIDE ?OBJECT) means that ?SIDE is a side of the object, as opposed to the top or bottom.") | Merge.kif 9134-9135 | |
| (domain side 1 SelfConnectedObject) | Merge.kif 9131-9131 | |
| (domain side 2 SelfConnectedObject) | Merge.kif 9132-9132 | |
| (instance side BinaryPredicate) | Merge.kif 9130-9130 | |
| (subrelation side superficialPart) | Merge.kif 9129-9129 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage side "%1 %n 是 %2 的一 side") | chinese_format.kif 387-387 | |
| (format EnglishLanguage side "a side of %2 is %n %1") | english_format.kif 396-396 | |
| (termFormat ChineseLanguage side "侧") | domainEnglishFormat.kif 52831-52831 | |
| (termFormat ChineseLanguage side "边") | chinese_format.kif 388-388 | |
| (termFormat ChineseTraditionalLanguage side "側") | domainEnglishFormat.kif 52830-52830 | |
| (termFormat EnglishLanguage side "side") | domainEnglishFormat.kif 52829-52829 |
| antecedent |
|
|
| (=> (and (instance ?Isthmus Isthmus) (side ?Leftside ?Isthmus) (side ?Rightside ?Isthmus) (not (equal ?Leftside ?Rightside))) (exists (?Region1 ?Region2 ?Water1 ?Water2) (and (instance ?Region1 LandArea) (instance ?Region2 LandArea) (between ?Region1 ?Isthmus ?Region2) (instance ?Water1 WaterArea) (instance ?Water2 WaterArea) (meetsSpatially ?Leftside ?Water1) (meetsSpatially ?Rightside ?Water2)))) |
Geography.kif 5499-5513 | |
| (=> (and (instance ?Mesa Mesa) (side ?Side ?Mesa)) (attribute ?Side SteepTerrain)) |
Geography.kif 3952-3956 | |
| (=> (and (instance ?butte Butte) (side ?side ?butte)) (attribute ?side SteepTerrain)) |
Geography.kif 3963-3967 | |
| (=> (and (side ?SIDE ?OBJECT) (part ?PART ?OBJECT) (not (connected ?PART ?SIDE))) (exists (?DIRECT) (orientation ?SIDE ?PART ?DIRECT))) |
Merge.kif 9137-9143 | |
| (=> (and (top ?TOP ?O) (side ?S ?O)) (not (equal ?TOP ?S))) |
Merge.kif 9145-9150 |
| consequent |
|
|
| (<=> (width ?OBJECT ?WIDTH) (exists (?SIDE1 ?SIDE2) (and (side ?SIDE1 ?OBJECT) (side ?SIDE2 ?OBJECT) (distance ?SIDE1 ?SIDE2 ?WIDTH)))) |
Merge.kif 9152-9158 | |
| (=> (attribute ?F Flat) (and (side ?S1 ?F) (side ?S2 ?F) (meetsSpatially ?S1 ?S2) (not (equal ?S1 ?S2)) (height ?F (MeasureFn ?HF ?U)) (height ?S1 (MeasureFn ?H1 ?U)) (height ?S2 (MeasureFn ?H2 ?U)) (greaterThan ?H1 (MultiplicationFn 2 ?HF)) (greaterThan ?H2 (MultiplicationFn 2 ?HF)))) |
Mid-level-ontology.kif 3253-3264 | |
| (=> (attribute ?F LongAndThin) (and (side ?S1 ?F) (side ?S2 ?F) (meetsSpatially ?S1 ?S2) (not (equal ?S1 ?S2)) (length ?F (MeasureFn ?HF ?U)) (length ?S1 (MeasureFn ?H1 ?U)) (length ?S2 (MeasureFn ?H2 ?U)) (lessThan ?H1 (MultiplicationFn 3 ?HF)) (lessThan ?H2 (MultiplicationFn 3 ?HF)))) |
Mid-level-ontology.kif 3277-3288 | |
| (=> (instance ?BOX Box) (equal (CardinalityFn (KappaFn ?SIDE (or (top ?SIDE ?BOX) (bottom ?SIDE ?BOX) (side ?SIDE ?BOX)))) 6)) |
Mid-level-ontology.kif 4958-4966 | |
| (=> (instance ?OBJ SelfConnectedObject) (side (BackFn ?OBJ) ?OBJ)) |
Merge.kif 867-869 | |
| (=> (instance ?OBJ SelfConnectedObject) (side (FrontFn ?OBJ) ?OBJ)) |
Merge.kif 848-850 | |
| (=> (orientation ?OBJ1 ?OBJ2 Surrounded) (forall (?X) (=> (side ?X ?OBJ1) (meetsSpatially ?X ?OBJ2)))) |
Mid-level-ontology.kif 24060-24065 |
|
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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners