TreeView Knowledge Base Browser

appearance as argument number 1

Medicine.kif 6531-6531

MoveToEvac is a subclass of transportation

antecedent

(=>
    (and
        (instance ?M MoveToEvac)
        (objectTransferred ?M ?P))
    (hasPurpose ?M
        (exists (?E)
            (and
                (instance ?E Evacuation)
                (objectTransferred ?E ?P)
                (earlier
                    (WhenFn ?M)
                    (WhenFn ?E))))))

Medicine.kif 6532-6543

If a transfer is an instance of MoveToEvac and the object transferred in the transfer is an object,
then the transfer has the purpose there exists an entity such that the entity is an instance of evacuating and the object transferred in the entity is the object and the time of existence of the transfer happens earlier than the time of existence of the entity

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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

KB Term:			Term intersection

English Word: