(=>     (instance ?S Sieve)     (hasPurpose ?S         (exists (?REMOVE ?MIX ?SUB ?HOLE ?A)             (and                 (instance ?REMOVE Removing)                 (instance ?MIX Mixture)                 (instance ?SUB Substance)                 (part ?SUB ?MIX)                 (patient ?REMOVE ?SUB)                 (part ?HOLE ?S)                 (instrument ?REMOVE ?HOLE)                 (instance ?A Human)                 (agent ?REMOVE ?A)                 (not                     (desires ?A ?SUB))))))	Mid-level-ontology.kif 4528-4543	Wenn Physical ist ein fall von Sieve %n{nicht}, dann ** Physical hat Zweck von es gibt entity, ** entity,, , ** PhysicalUB,, , ** entity, and und ** entity um ** entity ist ein fall von Removing %n{nicht} und ** ** entity ist ein fall von Mixture %n{nicht} und ** PhysicalUB ist ein fall von Substance %n{nicht} und ** PhysicalUB ist ein teil von ** ** entity %n{nicht} und ** PhysicalUB ist ein patient von ** entity %n{nicht} und ** ** entity ist ein teil von ** Physical %n{nicht} und ** ** entity ist ein instrument fuer ** entity %n{nicht} und ** ** entity ist ein fall von Human %n{nicht} und ** entity ist der agent von ** ** entity %n{nicht} und ** ** entity wuenscht ** PhysicalUB nicht %n{nicht}
(=>     (instance ?S Strainer)     (hasPurpose ?S         (exists (?MIX ?SUB ?LIQUID ?REMOVE)             (and                 (instance ?MIX Mixture)                 (instance ?SUB Substance)                 (instance ?LIQUID Substance)                 (part ?SUB ?MIX)                 (attribute ?SUB Solid)                 (instance ?REMOVE Removing)                 (part ?LIQUID ?MIX)                 (attribute ?LIQUID Liquid)                 (patient ?REMOVE ?SUB)                 (result ?REMOVE ?LIQUID)                 (instrument ?REMOVE ?S)))))	Mid-level-ontology.kif 4549-4564	Wenn Physical ist ein fall von Strainer %n{nicht}, dann ** Physical hat Zweck von es gibt entity, ** PhysicalUB,, , ** entity, and und ** entity um ** entity ist ein fall von Mixture %n{nicht} und ** PhysicalUB ist ein fall von Substance %n{nicht} und ** ** entity ist ein fall von Substance %n{nicht} und ** PhysicalUB ist ein teil von ** entity %n{nicht} und Solid ist ein attribut von ** PhysicalUB %n{nicht} und ** ** entity ist ein fall von Removing %n{nicht} und ** ** entity ist ein teil von ** entity %n{nicht} und Liquid ist ein attribut von ** ** entity %n{nicht} und ** PhysicalUB ist ein patient von ** ** entity %n{nicht} und ** ** entity ist ein resultat von ** ** entity %n{nicht} und ** Physical ist ein instrument fuer ** ** entity %n{nicht} %n{nicht}
(=>     (instance ?SUB Substituting)     (exists (?PUT ?REMOVE ?OBJ1 ?OBJ2 ?PLACE)         (and             (instance ?PUT Putting)             (instance ?REMOVE Removing)             (subProcess ?PUT ?SUB)             (subProcess ?REMOVE ?SUB)             (patient ?REMOVE ?OBJ1)             (origin ?REMOVE ?PLACE)             (patient ?PUT ?OBJ2)             (destination ?PUT ?PLACE)             (not                 (equal ?OBJ1 ?OBJ2)))))	Merge.kif 11476-11488	Wenn Process ist ein fall von Substituting %n{nicht}, dann es gibt ** Process, ** Process,, , Entity,, , ** Entity, and und Object um ** ** Process ist ein fall von Putting %n{nicht} und ** ** Process ist ein fall von Removing %n{nicht} und ** ** Process ist ein subProzess von ** Process und ** ** Process ist ein subProzess von ** Process und ** Entity ist ein patient von ** ** Process %n{nicht} und ** ** Process beginnet an ** Object %n{nicht} und ** ** Entity ist ein patient von ** ** Process %n{nicht} und ** ** Process endet an ** Object %n{nicht} und ** Entity ist gleich ** ** Entity nicht
(=>     (instance ?TC TireChanger)     (hasPurpose ?TC         (exists (?RE ?T ?R)             (and                 (instance ?RE Removing)                 (instance ?T Tire)                 (instance ?R WheelRim)                 (origin ?RE ?R)                 (objectTransferred ?RE ?T)                 (instrument ?RE ?TC)))))	Cars.kif 4895-4905	Wenn Physical ist ein fall von TireChanger %n{nicht}, dann ** Physical hat Zweck von es gibt entity, ** entity, and und ** entity um ** entity ist ein fall von Removing %n{nicht} und ** ** entity ist ein fall von Tire %n{nicht} und ** ** entity ist ein fall von WheelRim %n{nicht} und ** entity beginnet an ** ** entity %n{nicht} und objectTransferred ** entity and ** ** entity und ** Physical ist ein instrument fuer ** entity %n{nicht} %n{nicht}

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