(=>     (instance ?SAIL Sail)     (exists (?MAST)         (and             (material Fabric ?SAIL)             (instance ?MAST Mast)             (connected ?SAIL ?MAST))))	Mid-level-ontology.kif 26335-26341	Wenn CorpuscularObject ist ein fall von Sail %n{nicht}, dann es gibt Object um Fabric ist von ** CorpuscularObject gebildet und ** Object ist ein fall von Mast %n{nicht} und ** CorpuscularObject wird an ** Object angeschlossen
(=>     (instance ?SI SolderingIron)     (exists (?X)         (and             (part ?X ?SI)             (material Metal ?X))))	Mid-level-ontology.kif 5652-5657	Wenn Object ist ein fall von SolderingIron %n{nicht}, dann es gibt CorpuscularObject um ** CorpuscularObject ist ein teil von ** Object %n{nicht} und Metal ist von ** CorpuscularObject gebildet
(=>     (instance ?W WoodenArtifact)     (material Wood ?W))	Economy.kif 5576-5578	Wenn CorpuscularObject ist ein fall von WoodenArtifact %n{nicht}, dann Wood ist von ** CorpuscularObject gebildet
(=>     (instance ?WC WireCoil)     (material ConductorSubstance ?WC))	Cars.kif 3074-3076	Wenn CorpuscularObject ist ein fall von WireCoil %n{nicht}, dann ConductorSubstance ist von ** CorpuscularObject gebildet
(=>     (instance ?WIRE Wire)     (material Metal ?WIRE))	Mid-level-ontology.kif 3612-3614	Wenn CorpuscularObject ist ein fall von Wire %n{nicht}, dann Metal ist von ** CorpuscularObject gebildet
(=>     (instance ?X BedLinen)     (material Fabric ?X))	Mid-level-ontology.kif 4127-4129	Wenn CorpuscularObject ist ein fall von BedLinen %n{nicht}, dann Fabric ist von ** CorpuscularObject gebildet
(=>     (instance ?X BotanicalTree)     (material Wood ?X))	Mid-level-ontology.kif 9478-9480	Wenn CorpuscularObject ist ein fall von BotanicalTree %n{nicht}, dann Wood ist von ** CorpuscularObject gebildet
(=>     (instance ?X ElectricalPlug)     (material Metal ?X))	Mid-level-ontology.kif 25923-25925	Wenn CorpuscularObject ist ein fall von ElectricalPlug %n{nicht}, dann Metal ist von ** CorpuscularObject gebildet
(=>     (instance ?X Hammock)     (and         (material Fabric ?X)         (exists (?POLE1 ?POLE2 ?GROUND)             (and                 (orientation ?POLE1 ?POLE2 Near)                 (connected ?POLE1 ?X)                 (connected ?POLE2 ?X)                 (instance ?GROUND LandArea)                 (located ?X ?GROUND)                 (orientation ?X ?GROUND Above)))))	Mid-level-ontology.kif 3958-3969	Wenn CorpuscularObject ist ein fall von Hammock %n{nicht}, dann Fabric ist von ** CorpuscularObject gebildet und es gibt Object, ** Object, and und ** Object um ** Object ist Near hinsichlich ** ** Object %n{nicht} und ** Object wird an ** CorpuscularObject angeschlossen und ** ** Object wird an ** CorpuscularObject angeschlossen und ** ** Object ist ein fall von LandArea %n{nicht} und ** CorpuscularObject befindet sich an %n{nicht} und ** CorpuscularObject ist Above hinsichlich ** ** Object %n{nicht}
(=>     (instance ?X SeatBelt)     (exists (?BELT)         (and             (part ?BELT ?X)             (attribute ?BELT Pliable)             (material Fabric ?BELT))))	Cars.kif 3675-3681	Wenn Object ist ein fall von SeatBelt %n{nicht}, dann es gibt CorpuscularObject um ** CorpuscularObject ist ein teil von ** Object %n{nicht} und Pliable ist ein attribut von ** CorpuscularObject %n{nicht} und Fabric ist von ** CorpuscularObject gebildet
(=>     (instance ?X Tofu)     (material Soybean ?X))	Food.kif 3514-3516	Wenn CorpuscularObject ist ein fall von Tofu %n{nicht}, dann Soybean ist von ** CorpuscularObject gebildet
(=>     (instance ?X XyphiodProcess)     (material ?X Cartilage))	Anatomy.kif 263-265	Wenn ** Substance ist ein fall von XyphiodProcess %n{nicht}, dann ** Substance ist von Cartilage gebildet

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