(=>
(contains ?SMALL ?BIG)
(partlyLocated ?SMALL ?BIG)) |
Merge.kif 996-998 |
If X contains Y, then X is partly located in Y |
(=>
(eventPartlyLocated ?PROC ?OJB)
(partlyLocated ?PROC ?OJB)) |
Merge.kif 4198-4200 |
If X is partly located at Y, then X is partly located in Y |
(=>
(orientation ?OBJ ?REGION Outside)
(not
(partlyLocated ?OBJ ?REGION))) |
Mid-level-ontology.kif 10492-10495 |
If X is outside of to Y, then X is not partly located in Y |
(=>
(and
(partlyLocated ?PLACE ?SUBAREA)
(instance ?SUBAREA GeographicArea)
(geographicSubregion ?SUBAREA ?AREA))
(partlyLocated ?PLACE ?AREA)) |
Geography.kif 1983-1988 |
If X is partly located in Y, Y is an instance of geographic area, and Y is a geographic subregion of Z, then X is partly located in Z |
(=>
(terrainInArea ?AREA ?ATTRIBUTE)
(exists (?REGION)
(and
(instance ?REGION GeographicArea)
(attribute ?REGION ?ATTRIBUTE)
(partlyLocated ?REGION ?AREA)))) |
Geography.kif 3170-3176 |
If X is a terrain in area of Y, then there exists Z such that Z is an instance of geographic area, X is an attribute of Z, and Z is partly located in Y |
(=>
(and
(overlapsSpatially ?ONE ?TWO)
(instance ?TWO Region)
(not
(equal ?ONE ?TWO)))
(partlyLocated ?ONE ?TWO)) |
Geography.kif 4892-4897 |
If X and Y overlapsSpatially, Y is an instance of region, and equal X and Y, then X is partly located in Y |
(=>
(instance ?DEVICE HouseholdAppliance)
(hasPurpose ?DEVICE
(exists (?PROC ?RESI)
(and
(instrument ?PROC ?DEVICE)
(instance ?PROC Process)
(instance ?RESI PermanentResidence)
(partlyLocated ?PROC ?RESI))))) |
HouseholdAppliances.kif 76-84 |
If X is an instance of household appliance, then X has the purpose there exist Y, Z such that X is an instrument for Y, Y is an instance of process, Z is an instance of permanent residence, and Y is partly located in Z |
(=>
(holdsDuring ?T1
(and
(attribute ?P DisplacedPerson)
(inhabits ?P ?RES)
(located ?RES ?PLACE)
(citizen ?P ?NATION)))
(not
(partlyLocated ?PLACE ?NATION))) |
MilitaryPersons.kif 70-78 |
If displaced person is an attribute of X, X lives in Y, Y is located at Z, and X is a citizen of W holds during V, then Z is not partly located in W |
(=>
(holdsDuring ?T1
(and
(attribute ?P InternallyDisplacedPerson)
(inhabits ?P ?RES)
(located ?RES ?PLACE)
(citizen ?P ?NATION)))
(partlyLocated ?PLACE ?NATION)) |
MilitaryPersons.kif 92-99 |
If internally displaced person is an attribute of X, X lives in Y, Y is located at Z, and X is a citizen of W holds during V, then Z is partly located in W |
(<=>
(totalLengthOfWaterways ?AREA ?LENGTH)
(length
(KappaFn ?WATERWAY
(and
(instance ?WATERWAY Waterway)
(partlyLocated ?WATERWAY ?AREA))) ?LENGTH)) |
Transportation.kif 656-663 |
X is a total length of waterways of Y if and only if the length of the class described by Z is X |
(=>
(instance ?WAY AirTransitway)
(hasPurpose ?WAY
(exists (?TRANSPORT)
(and
(instance ?TRANSPORT Transportation)
(path ?TRANSPORT ?WAY)
(partlyLocated ?WAY EarthsAtmosphere))))) |
Transportation.kif 1250-1257 |
If X is an instance of air transitway, then X has the purpose there exists Y such that Y is an instance of transportation, X is path along which Y occurs, and X is partly located in earths atmosphere |
