side
|
|
Sigma KEE - side
appearance as argument number 1
|
|
appearance as argument number 2
|
|
antecedent
|
|
consequent
|
|
(=>
(attribute ?F Flat)
(exists (?S1 ?S2 ?HF ?H1 ?H2 ?U)
(and
(side ?S1 ?F)
(side ?S2 ?F)
(meetsSpatially ?S1 ?S2)
(not
(equal ?S1 ?S2))
(instance ?U UnitOfLength)
(height ?F
(MeasureFn ?HF ?U))
(height ?S1
(MeasureFn ?H1 ?U))
(height ?S2
(MeasureFn ?H2 ?U))
(greaterThan ?H1
(MultiplicationFn 2.0 ?HF))
(greaterThan ?H2
(MultiplicationFn 2.0 ?HF))))) |
Mid-level-ontology.kif 2782-2795 |
- Wenn Flat ist ein attribut von SelfConnectedObject %n{nicht},
- dann es gibt ** SelfConnectedObject, ** SelfConnectedObject,, , RealNumber,, , ** RealNumber,, , ** RealNumber, and und UnitOfMeasure um eine seite von ** SelfConnectedObject ist ** ** SelfConnectedObject und eine seite von ** SelfConnectedObject ist ** ** SelfConnectedObject und ** ** SelfConnectedObject schliesst ** ** SelfConnectedObject raeumlich an und ** ** SelfConnectedObject ist gleich ** ** SelfConnectedObject nicht und ** UnitOfMeasure ist ein fall von UnitOfLength %n{nicht} und die hoehe von ** SelfConnectedObject ist ** RealNumber ** UnitOfMeasure(s) %n{nicht} und die hoehe von ** ** SelfConnectedObject ist ** ** RealNumber ** UnitOfMeasure(s) %n{nicht} und die hoehe von ** ** SelfConnectedObject ist ** ** RealNumber ** UnitOfMeasure(s) %n{nicht} und ** ** RealNumber ist groesserAls 2.0 und ** RealNumber %n{nicht} und ** ** RealNumber ist groesserAls 2.0 und ** RealNumber %n{nicht}
|
(=>
(attribute ?F LongAndThin)
(exists (?S1 ?S2 ?HF ?H1 ?H2 ?U)
(and
(side ?S1 ?F)
(side ?S2 ?F)
(meetsSpatially ?S1 ?S2)
(not
(equal ?S1 ?S2))
(instance ?U UnitOfLength)
(length ?F
(MeasureFn ?HF ?U))
(length ?S1
(MeasureFn ?H1 ?U))
(length ?S2
(MeasureFn ?H2 ?U))
(lessThan ?H1
(MultiplicationFn 3.0 ?HF))
(lessThan ?H2
(MultiplicationFn 3.0 ?HF))))) |
Mid-level-ontology.kif 2803-2816 |
- Wenn LongAndThin ist ein attribut von SelfConnectedObject %n{nicht},
- dann es gibt ** SelfConnectedObject, ** SelfConnectedObject,, , RealNumber,, , ** RealNumber,, , ** RealNumber, and und UnitOfMeasure um eine seite von ** SelfConnectedObject ist ** ** SelfConnectedObject und eine seite von ** SelfConnectedObject ist ** ** SelfConnectedObject und ** ** SelfConnectedObject schliesst ** ** SelfConnectedObject raeumlich an und ** ** SelfConnectedObject ist gleich ** ** SelfConnectedObject nicht und ** UnitOfMeasure ist ein fall von UnitOfLength %n{nicht} und die laenge von ** SelfConnectedObject ist ** RealNumber ** UnitOfMeasure(s) %n{nicht} und die laenge von ** ** SelfConnectedObject ist ** ** RealNumber ** UnitOfMeasure(s) %n{nicht} und die laenge von ** ** SelfConnectedObject ist ** ** RealNumber ** UnitOfMeasure(s) %n{nicht} und ** ** RealNumber ist kleinerAls 3.0 und ** RealNumber %n{nicht} und ** ** RealNumber ist kleinerAls 3.0 und ** RealNumber %n{nicht}
|
(=>
(instance ?BOX Box)
(equal
(CardinalityFn
(KappaFn ?SIDE
(or
(top ?SIDE ?BOX)
(bottom ?SIDE ?BOX)
(side ?SIDE ?BOX)))) 6)) |
Mid-level-ontology.kif 4476-4484 |
|
(=>
(instance ?OBJ SelfConnectedObject)
(side
(BackFn ?OBJ) ?OBJ)) |
Merge.kif 910-912 |
|
(=>
(instance ?OBJ SelfConnectedObject)
(side
(FrontFn ?OBJ) ?OBJ)) |
Merge.kif 891-893 |
|
(=>
(orientation ?OBJ1 ?OBJ2 Surrounded)
(forall (?X)
(=>
(side ?X ?OBJ1)
(meetsSpatially ?X ?OBJ2)))) |
Mid-level-ontology.kif 26009-26014 |
|
(=>
(width ?OBJECT ?WIDTH)
(exists (?SIDE1 ?SIDE2)
(and
(side ?SIDE1 ?OBJECT)
(side ?SIDE2 ?OBJECT)
(distance ?SIDE1 ?SIDE2 ?WIDTH)))) |
Merge.kif 9760-9766 |
|
|
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|