(=>
(and
(wears ?PERSON ?HAT)
(instance ?HAT Hat))
(exists (?HEAD)
(and
(instance ?HEAD Head)
(part ?HEAD ?PERSON)
(meetsSpatially ?HAT ?HEAD)))) |
Mid-level-ontology.kif 5150-5158 |
|
(=>
(and
(wears ?PERSON ?SHOE)
(instance ?SHOE Shoe))
(exists (?FOOT)
(and
(instance ?FOOT Foot)
(part ?FOOT ?PERSON)
(meetsSpatially ?SHOE ?FOOT)))) |
Mid-level-ontology.kif 5184-5192 |
|
(=>
(attribute ?F Flat)
(exists (?S1 ?S2 ?HF ?H1 ?H2 ?U)
(and
(side ?S1 ?F)
(side ?S2 ?F)
(meetsSpatially ?S1 ?S2)
(not
(equal ?S1 ?S2))
(instance ?U UnitOfLength)
(height ?F
(MeasureFn ?HF ?U))
(height ?S1
(MeasureFn ?H1 ?U))
(height ?S2
(MeasureFn ?H2 ?U))
(greaterThan ?H1
(MultiplicationFn 2.0 ?HF))
(greaterThan ?H2
(MultiplicationFn 2.0 ?HF))))) |
Mid-level-ontology.kif 2782-2795 |
- If flat is an attribute of a self connected object,
- then there exist another self connected object, a third self connected object,, , a real number,, , another real number,, , a third real number and an unit of measure such that a side of the self connected object is the other self connected object and a side of the self connected object is the third self connected object and the other self connected object meets the third self connected object and the other self connected object is not equal to the third self connected object and the unit of measure is an instance of unit of length and the height of the self connected object is the real number the unit of measure(s) and the height of the other self connected object is the other real number the unit of measure(s) and the height of the third self connected object is the third real number the unit of measure(s) and the other real number is greater than 2.0 and the real number and the third real number is greater than 2.0 and the real number
|
(=>
(attribute ?F LongAndThin)
(exists (?S1 ?S2 ?HF ?H1 ?H2 ?U)
(and
(side ?S1 ?F)
(side ?S2 ?F)
(meetsSpatially ?S1 ?S2)
(not
(equal ?S1 ?S2))
(instance ?U UnitOfLength)
(length ?F
(MeasureFn ?HF ?U))
(length ?S1
(MeasureFn ?H1 ?U))
(length ?S2
(MeasureFn ?H2 ?U))
(lessThan ?H1
(MultiplicationFn 3.0 ?HF))
(lessThan ?H2
(MultiplicationFn 3.0 ?HF))))) |
Mid-level-ontology.kif 2803-2816 |
- If long and thin is an attribute of a self connected object,
- then there exist another self connected object, a third self connected object,, , a real number,, , another real number,, , a third real number and an unit of measure such that a side of the self connected object is the other self connected object and a side of the self connected object is the third self connected object and the other self connected object meets the third self connected object and the other self connected object is not equal to the third self connected object and the unit of measure is an instance of unit of length and the length of the self connected object is the real number the unit of measure(s) and the length of the other self connected object is the other real number the unit of measure(s) and the length of the third self connected object is the third real number the unit of measure(s) and the other real number is less than 3.0 and the real number and the third real number is less than 3.0 and the real number
|
(=>
(connected ?OBJ1 ?OBJ2)
(or
(meetsSpatially ?OBJ1 ?OBJ2)
(overlapsSpatially ?OBJ1 ?OBJ2))) |
Merge.kif 9509-9513 |
|
(=>
(equal ?OBJ1
(HoleSkinFn ?HOLE))
(=>
(and
(superficialPart ?OBJ3
(HoleHostFn ?HOLE))
(meetsSpatially ?HOLE ?OBJ3)
(overlapsSpatially ?OBJ2 ?OBJ3))
(overlapsSpatially ?OBJ2 ?OBJ1))) |
Merge.kif 10086-10093 |
|
(=>
(equal ?OBJ1
(HoleSkinFn ?HOLE))
(=>
(overlapsSpatially ?OBJ2 ?OBJ1)
(exists (?OBJ3)
(and
(superficialPart ?OBJ3
(HoleHostFn ?HOLE))
(meetsSpatially ?HOLE ?OBJ3)
(overlapsSpatially ?OBJ2 ?OBJ3))))) |
Merge.kif 10076-10084 |
|
(=>
(instance
(BorderFn ?AREA1 ?AREA2) GeographicArea)
(meetsSpatially ?AREA1 ?AREA2)) |
Geography.kif 695-697 |
|
(=>
(instance ?AIR Atmosphere)
(exists (?BODY)
(and
(instance ?BODY AstronomicalBody)
(meetsSpatially ?AIR ?BODY)))) |
Weather.kif 22-27 |
|
(=>
(instance ?AREA Continent)
(meetsSpatially ?AREA WorldOcean)) |
Geography.kif 4508-4510 |
|
(=>
(instance ?AREA LandlockedArea)
(exists (?LAND)
(and
(instance ?LAND LandArea)
(meetsSpatially ?AREA ?LAND)))) |
Geography.kif 952-957 |
|
(=>
(instance ?AREA LandlockedArea)
(not
(exists (?WATER ?SEA)
(and
(instance ?WATER SaltWaterArea)
(part ?WATER ?SEA)
(instance ?SEA Ocean)
(meetsSpatially ?AREA ?WATER))))) |
Geography.kif 942-950 |
|
(=>
(instance ?AREA LandlockedArea)
(not
(exists (?WATER)
(and
(instance ?WATER Ocean)
(meetsSpatially ?AREA ?WATER))))) |
Geography.kif 934-940 |
|
(=>
(instance ?BALCONY Balcony)
(exists (?WALL ?LANDAREA)
(and
(meetsSpatially ?WALL ?BALCONY)
(instance ?LANDAREA LandArea)
(located ?WALL ?LANDAREA)
(orientation ?BALCONY ?LANDAREA Above)))) |
Mid-level-ontology.kif 15385-15392 |
|
(=>
(instance ?BANK ShoreArea)
(exists (?WATER)
(and
(instance ?WATER WaterArea)
(meetsSpatially ?BANK ?WATER)))) |
Merge.kif 14174-14179 |
|
(=>
(instance ?Delta Delta)
(exists (?Mouth)
(and
(instance ?Mouth RiverMouth)
(meetsSpatially ?Mouth ?Delta)))) |
Geography.kif 5782-5787 |
|
(=>
(instance ?F Furniture)
(hasPurpose ?F
(exists (?FL)
(and
(instance ?FL Floor)
(meetsSpatially ?F ?FL))))) |
Mid-level-ontology.kif 3698-3704 |
|
(=>
(instance ?F PictureFrame)
(hasPurpose ?F
(exists (?P)
(and
(meetsSpatially ?F ?P)
(or
(instance ?P PaintedPicture)
(instance ?P Photograph)))))) |
Mid-level-ontology.kif 1545-1553 |
|
(=>
(instance ?FOG Fog)
(exists (?LAND)
(and
(instance ?LAND LandArea)
(meetsSpatially ?FOG ?LAND)))) |
Mid-level-ontology.kif 8969-8974 |
|
(=>
(instance ?FROST Frosting)
(exists (?ICE ?OBJ)
(and
(instance ?ICE Ice)
(attribute ?ICE MonoCrystalline)
(patient ?FROST ?ICE)
(instance ?OBJ Object)
(attribute ?OBJ Solid)
(destination ?FROST ?OBJ)
(meetsSpatially ?FROST ?OBJ)))) |
Weather.kif 2782-2792 |
|
(=>
(instance ?G Gasket)
(hasPurpose ?G
(exists (?O1 ?O2)
(and
(instance ?O1 CorpuscularObject)
(instance ?O2 CorpuscularObject)
(meetsSpatially ?O1 ?G)
(meetsSpatially ?O2 ?G)
(not
(exists (?H ?D ?T ?O)
(and
(instance ?H HoleRegion)
(equal ?G
(HoleHostFn ?H))
(instance ?T Translocation)
(path ?T ?H)
(origin ?T ?O)
(destination ?T ?D)
(contains ?O1 ?O)
(not
(contains ?O1 ?D))
(meetsSpatially ?O1 ?D)
(not
(exists (?O3)
(and
(contains ?H ?O3)
(not
(contains ?O1 ?O3))
(not
(contains ?O2 ?O3)))))))))))) |
Cars.kif 2843-2872 |
|
(=>
(instance ?H Hanging)
(exists (?S ?N ?P)
(and
(instance ?P Human)
(instance ?S String)
(instance ?N Neck)
(experiencer ?H ?P)
(properPart ?N ?P)
(instrument ?H ?S)
(holdsDuring
(WhenFn ?H)
(meetsSpatially ?S ?N))))) |
Mid-level-ontology.kif 18477-18488 |
|
(=>
(instance ?ICING Icing)
(exists (?ICE ?OBJ)
(and
(instance ?ICE Ice)
(attribute ?ICE PolyCrystalline)
(patient ?ICING ?ICE)
(instance ?OBJ Object)
(attribute ?OBJ Solid)
(destination ?ICING ?OBJ)
(meetsSpatially ?ICE ?OBJ)))) |
Weather.kif 2514-2524 |
|
(=>
(instance ?ISLAND Island)
(not
(exists (?AREA ?PART1 ?PART2)
(and
(instance ?AREA LandArea)
(part ?PART1 ?ISLAND)
(part ?PART2 ?AREA)
(not
(part ?ISLAND ?AREA))
(not
(part ?AREA ?ISLAND))
(meetsSpatially ?PART1 ?PART2))))) |
Merge.kif 14194-14206 |
|
(=>
(instance ?ISLE Island)
(exists (?WATER)
(and
(instance ?WATER WaterArea)
(meetsSpatially ?ISLE ?WATER)))) |
Merge.kif 14216-14221 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |