Transfer(transf�re)

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


(=>
    (orientation ?O1 ?O2 Upwind)
    (exists (?T ?L ?P)
        (and
            (instance ?T Transfer)
            (attribute ?L Liquid)
            (path ?T ?P)
            (origin ?T ?O1)
            (beforeOnPath ?O1 ?O2 ?P ?T)
            (destination ?T ?O2))))
Mid-level-ontology.kif 29812-29821


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