(=>
(half ?HALF ?WHOLE)
(exists (?OTHER)
(and
(half ?OTHER ?WHOLE)
(not
(equal ?OTHER ?HALF))
(equal ?WHOLE
(MereologicalSumFn ?HALF ?OTHER))))) |
Mid-level-ontology.kif 14735-14741 |
If X is half of Y, then there exists Z such that Z is half of Y, equal Z, X, equal Y, the union of the parts of X, and Z |
(<=>
(quarter ?Q ?W)
(exists (?H)
(and
(half ?H ?W)
(half ?Q ?H)))) |
Mid-level-ontology.kif 14770-14775 |
X is a quarter of Y if, only if there exists Z such that Z is half of Y, and X is half of Z |
(=>
(most ?MOST ?WHOLE)
(exists (?HALF ?NUMBER1 ?NUMBER2 ?UNIT)
(and
(half ?HALF ?WHOLE)
(measure ?HALF
(MeasureFn ?NUMBER1 ?UNIT))
(measure ?MOST
(MeasureFn ?NUMBER2 ?UNIT))
(greaterThan ?NUMBER2 ?NUMBER1)))) |
Mid-level-ontology.kif 14784-14791 |
If X is most of Y, then there exist Z, W,, , V and U such that Z is half of Y and the measure of Z is W U(s) and the measure of X is V U(s) and V is greater than W |
(=>
(and
(attribute ?X ?HEMI)
(instance ?HEMI HemisphereFigure))
(exists (?Y)
(and
(instance ?Y Sphere)
(half ?X ?Y)))) |
Mid-level-ontology.kif 29154-29161 |
If X is an attribute of Y and X is an instance of hemisphere, then there exists Z such that Z is an instance of sphere and Y is half of Z |
