distance

-------------------------


(=>
    (width ?OBJECT ?WIDTH)
    (exists (?SIDE1 ?SIDE2)
        (and
            (side ?SIDE1 ?OBJECT)
            (side ?SIDE2 ?OBJECT)
            (distance ?SIDE1 ?SIDE2 ?WIDTH))))
Merge.kif 9760-9766


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