(=>     (instance ?SAIL Sail)     (exists (?MAST)         (and             (material Fabric ?SAIL)             (instance ?MAST Mast)             (connected ?SAIL ?MAST))))	Mid-level-ontology.kif 26347-26353	If a corpuscular object is an instance of sail, then there exists an object such that the corpuscular object is made of fabric and the object is an instance of mast and the corpuscular object is connected to the object
(=>     (instance ?SI SolderingIron)     (exists (?X)         (and             (part ?X ?SI)             (material Metal ?X))))	Mid-level-ontology.kif 5653-5658	If an object is an instance of soldering iron, then there exists a corpuscular object such that the corpuscular object is a part of the object and the corpuscular object is made of metal
(=>     (instance ?W WoodenArtifact)     (material Wood ?W))	Economy.kif 5576-5578	If a corpuscular object is an instance of wood artifact, then the corpuscular object is made of wood
(=>     (instance ?WC WireCoil)     (material ConductorSubstance ?WC))	Cars.kif 3068-3070	If a corpuscular object is an instance of wire coil, then the corpuscular object is made of conductor substance
(=>     (instance ?WIRE Wire)     (material Metal ?WIRE))	Mid-level-ontology.kif 3612-3614	If a corpuscular object is an instance of wire, then the corpuscular object is made of metal
(=>     (instance ?X BedLinen)     (material Fabric ?X))	Mid-level-ontology.kif 4127-4129	If a corpuscular object is an instance of bed linen, then the corpuscular object is made of fabric
(=>     (instance ?X BotanicalTree)     (material Wood ?X))	Mid-level-ontology.kif 9479-9481	If a corpuscular object is an instance of botanical tree, then the corpuscular object is made of wood
(=>     (instance ?X ElectricalPlug)     (material Metal ?X))	Mid-level-ontology.kif 25935-25937	If a corpuscular object is an instance of electrical plug, then the corpuscular object is made of metal
(=>     (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	If a corpuscular object is an instance of hammock, then the corpuscular object is made of fabric and there exist an object, another object and a third object such that the object is near to the other object and the object is connected to the corpuscular object and the other object is connected to the corpuscular object and the third object is an instance of land area and the corpuscular object is located at the third object and the corpuscular object is above to the third object
(=>     (instance ?X SeatBelt)     (exists (?BELT)         (and             (part ?BELT ?X)             (attribute ?BELT Pliable)             (material Fabric ?BELT))))	Cars.kif 3667-3673	If an object is an instance of seat belt, then there exists a corpuscular object such that the corpuscular object is a part of the object and pliable is an attribute of the corpuscular object and the corpuscular object is made of fabric
(=>     (instance ?X Tofu)     (material Soybean ?X))	Food.kif 3514-3516	If a corpuscular object is an instance of tofu, then the corpuscular object is made of soybean
(=>     (instance ?X XyphiodProcess)     (material ?X Cartilage))	Anatomy.kif 263-265	If a kind of substance is an instance of sternum, then cartilage is made of a kind of substance

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