| 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 9192-9193 | |
| (domain side 1 SelfConnectedObject) | Merge.kif 9189-9189 | |
| (domain side 2 SelfConnectedObject) | Merge.kif 9190-9190 | |
| (instance side BinaryPredicate) | Merge.kif 9188-9188 | |
| (subrelation side superficialPart) | Merge.kif 9187-9187 |
| 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 52928-52928 | |
| (termFormat ChineseLanguage side "边") | chinese_format.kif 388-388 | |
| (termFormat ChineseTraditionalLanguage side "側") | domainEnglishFormat.kif 52927-52927 | |
| (termFormat EnglishLanguage side "side") | domainEnglishFormat.kif 52926-52926 |
| 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 5605-5619 | |
| (=> (and (instance ?Mesa Mesa) (side ?Side ?Mesa)) (attribute ?Side SteepTerrain)) |
Geography.kif 4003-4007 | |
| (=> (and (instance ?butte Butte) (side ?side ?butte)) (attribute ?side SteepTerrain)) |
Geography.kif 4014-4018 | |
| (=> (and (side ?SIDE ?OBJECT) (part ?PART ?OBJECT) (not (connected ?PART ?SIDE))) (exists (?DIRECT) (orientation ?SIDE ?PART ?DIRECT))) |
Merge.kif 9195-9201 | |
| (=> (and (top ?TOP ?O) (side ?S ?O)) (not (equal ?TOP ?S))) |
Merge.kif 9203-9208 |
| consequent |
|
|
| (<=> (width ?OBJECT ?WIDTH) (exists (?SIDE1 ?SIDE2) (and (side ?SIDE1 ?OBJECT) (side ?SIDE2 ?OBJECT) (distance ?SIDE1 ?SIDE2 ?WIDTH)))) |
Merge.kif 9210-9216 | |
| (=> (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 24039-24044 |
|
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