(=>
(instance ?OBJ CorpuscularObject)
(exists (?SUBSTANCE1 ?SUBSTANCE2)
(and
(subclass ?SUBSTANCE1 Substance)
(subclass ?SUBSTANCE2 Substance)
(material ?SUBSTANCE1 ?OBJ)
(material ?SUBSTANCE2 ?OBJ)
(not
(equal ?SUBSTANCE1 ?SUBSTANCE2))))) |
Merge.kif 1304-1312 |
If X is an instance of corpuscular object, then All of the following hold: (1) there exist Y (2) Z such that Y is a subclass of substance (3) Z is a subclass of substance (4) X is made of Y (5) X is made of Z (6) equal Y (7) Z |
(=>
(instance ?B Bone)
(material BoneTissue ?B)) |
Merge.kif 15499-15501 |
If X is an instance of bone, then X is made of bone tissue |
(=>
(instance ?G Gland)
(material EpithelialTissue ?G)) |
Merge.kif 15515-15517 |
If X is an instance of gland, then X is made of epithelial tissue |
(=>
(instance ?M Muscle)
(material MuscleTissue Muscle)) |
Merge.kif 15527-15529 |
If X is an instance of muscle, then muscle is made of muscle tissue |
(=>
(instance ?SHOT FirearmShot)
(exists (?C ?P ?CLASS ?X)
(and
(instance ?C CollectionOfObjects)
(member ?P ?C)
(instance ?P ?CLASS)
(subclass ?CLASS SphericalObject)
(approximateDiameter ?P
(MeasureFn ?X Millimeter))
(modalAttribute
(and
(material ?CLASS Lead)
(lessThan ?X 10)) Likely)))) |
Mid-level-ontology.kif 1147-1160 |
If X is an instance of firearm shot, then there exist Y, Z,, , W and V such that Y is an instance of collection and Z is a member of Y and Z is an instance of W and W is a subclass of spherical object and the approximate diameter of Z is V millimeter(s) and the statement lead is made of W and V is less than 10 has the modal force of likely |
(=>
(instance ?S Spear)
(modalAttribute
(material Metal ?S) Likely)) |
Mid-level-ontology.kif 1247-1250 |
If X is an instance of spear, then the statement X is made of metal has the modal force of likely |
(=>
(instance ?S Strap)
(modalAttribute
(material Fabric ?S) Likely)) |
Mid-level-ontology.kif 1750-1752 |
If X is an instance of strap, then the statement X is made of fabric has the modal force of likely |
(=>
(instance ?CANDLE Candle)
(material Wax ?CANDLE)) |
Mid-level-ontology.kif 3653-3655 |
If X is an instance of candle, then X is made of wax |
(=>
(instance ?COIN CurrencyCoin)
(exists (?METAL)
(and
(subclass ?METAL Metal)
(material ?METAL ?COIN)))) |
Mid-level-ontology.kif 4246-4251 |
If X is an instance of coin, then there exists Y such that Y is a subclass of metal and X is made of Y |
(=>
(instance ?WIRE Wire)
(material Metal ?WIRE)) |
Mid-level-ontology.kif 4258-4260 |
If X is an instance of wire, then X is made of metal |
(=>
(instance ?S String)
(material Fabric ?S)) |
Mid-level-ontology.kif 4301-4303 |
If X is an instance of string, then X is made of fabric |
(=>
(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 4604-4615 |
If X is an instance of hammock, then X is made of fabric and All of the following hold: (1) there exist Y, Z (2) W such that Y is near to Z (3) Y is connected to X (4) Z is connected to X (5) W is an instance of land area (6) X is located at W (7) X is above to W |
(=>
(instance ?X BedLinen)
(material Fabric ?X)) |
Mid-level-ontology.kif 4773-4775 |
If X is an instance of bed linen, then X is made of fabric |
(=>
(instance ?B Basket)
(material Wicker ?B)) |
Mid-level-ontology.kif 5111-5113 |
If X is an instance of basket, then X is made of wicker |
(=>
(instance ?B Brick)
(material Clay ?B)) |
Mid-level-ontology.kif 5367-5369 |
If X is an instance of brick, then X is made of clay |
(=>
(instance ?F CottonFabric)
(material Cotton ?F)) |
Mid-level-ontology.kif 6581-6583 |
If X is an instance of cotton fabric, then X is made of cotton |
(=>
(instance ?SI SolderingIron)
(exists (?X)
(and
(part ?X ?SI)
(material Metal ?X)))) |
Mid-level-ontology.kif 6772-6777 |
If X is an instance of soldering iron, then there exists Y such that Y is a part of X and Y is made of metal |
(=>
(equal
(MeasureFn ?X PoundForce)
(JankaHardnessFn ?CLASS))
(modalAttribute
(exists (?T ?W ?P ?B ?H ?S)
(and
(instance ?T ?CLASS)
(part ?W ?T)
(instance ?W Wood)
(instance ?P Pushing)
(destination ?P ?W)
(instance ?B Ball)
(material ?B Steel)
(patient ?P ?B)
(sphereRadius ?B
(MeasureFn 5.64 Millimeter))
(result ?P ?H)
(instance ?H HoleRegion)
(part ?H ?W)
(surface ?S ?W)
(distance ?S ?H
(MeasureFn 5.64 Millimeter))
(measure ?P
(MeasureFn ?X PoundForce)))) Likely)) |
Mid-level-ontology.kif 10569-10592 |
If equal X pound force(s) and The Janka Hardness of Y is, then the statement there exist Z, W,, , V,, , U,, , T and S such that Z is an instance of Y and W is a part of Z and W is an instance of wood and V is an instance of pushing and V ends up at W and U is an instance of ball and steel is made of U and U is a patient of V and the radius of U is 5.64 millimeter(s) and T is a result of V and T is an instance of hole and T is a part of W and S is a surface of W and the distance between S and T is 5.64 millimeter(s) and the measure of V is X pound force(s) has the modal force of likely |
(=>
(instance ?X BotanicalTree)
(material Wood ?X)) |
Mid-level-ontology.kif 10970-10972 |
If X is an instance of botanical tree, then X is made of wood |
(=>
(instance ?NC NerveCell)
(material NervousTissue ?NC)) |
Mid-level-ontology.kif 12210-12212 |
If X is an instance of nerve cell, then X is made of nervous tissue |
(=>
(instance ?H Heart)
(material InvoluntaryMuscle ?H)) |
Mid-level-ontology.kif 12835-12837 |
If X is an instance of heart, then X is made of involuntary muscle |
(=>
(instance ?C HolidayCard)
(material Paper ?C)) |
Mid-level-ontology.kif 16478-16480 |
If X is an instance of holiday card, then X is made of paper |
(=>
(instance ?C PlayingCard)
(material Paper ?C)) |
Mid-level-ontology.kif 18747-18749 |
If X is an instance of playing card, then X is made of paper |
(=>
(instance ?IRON FabricIron)
(exists (?BASE)
(and
(bottom ?BASE ?IRON)
(material Metal ?BASE)
(attribute ?BASE Flat)))) |
Mid-level-ontology.kif 27509-27515 |
If X is an instance of iron, then there exists Y such that the bottom of X is Y, Y is made of metal, and flat is an attribute of Y |
(=>
(instance ?X ElectricalPlug)
(material Metal ?X)) |
Mid-level-ontology.kif 28507-28509 |
If X is an instance of electrical plug, then X is made of metal |
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
