| appearance as argument number 1 |
|
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?OBJ1 Object) (partlyLocated ?OBJ1 ?OBJ2)) (overlapsSpatially ?OBJ1 ?OBJ2)) |
Merge.kif 4161-4165 | If X is an instance of object and X is partly located in Y, then X and Y overlapsSpatially |
| (=> (and (instance ?OBJ1 Object) (partlyLocated ?OBJ1 ?OBJ2)) (exists (?SUB) (and (part ?SUB ?OBJ1) (located ?SUB ?OBJ2)))) |
Merge.kif 4167-4174 | If X is an instance of object and X is partly located in Y, then there exists Z such that Z is a part of X and Z is located at Y |
| (=> (not (partlyLocated ?OBJ ?REGION)) (orientation ?OBJ ?REGION Outside)) |
Mid-level-ontology.kif 10468-10471 | If X is not partly located in Y, then X is outside of to 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 |
| (=> (and (instance ?AREA GeographicArea) (attribute ?REGION ?ATTRIBUTE) (instance ?ATTRIBUTE TerrainAttribute) (partlyLocated ?REGION ?AREA)) (terrainInArea ?AREA ?ATTRIBUTE)) |
Geography.kif 3178-3184 | If X is an instance of geographic area, Y is an attribute of Z, Y is an instance of terrain attribute, and Z is partly located in X, then Y is a terrain in area of X |
| (=> (and (instance ?B Barricade) (partlyLocated ?B ?P)) (hasPurpose ?B (not (exists (?T) (and (instance ?T Translocation) (path ?T ?P)))))) |
MilitaryDevices.kif 2156-2165 | If X is an instance of barricade and X is partly located in Y, then X has the purpose there doesn't exist Z such that Z is an instance of translocation and Y is path along which Z occurs |
| (=> (and (instance ?ZEPHYR WindFlow) (instance ?PLACE Object) (partlyLocated ?ZEPHYR ?PLACE) (elevation ?ZEPHYR (MeasureFn ?X FootLength)) (lessThanOrEqualTo ?X 500.0) (measure ?ZEPHYR (SpeedFn ?DIST ?TIME))) (surfaceWindSpeed ?PLACE (SpeedFn ?DIST ?TIME))) |
Weather.kif 136-145 | If All of the following hold: (1) X is an instance of wind flow (2) Y is an instance of object (3) X is partly located in Y (4) Z foot length(s) is an elevation of X (5) Z is less than or equal to 500.0 (6) the measure of X is W per V, then W per V is a surface wind speed of Y |
| (=> (and (instance ?ZEPHYR WindFlow) (instance ?PLACE Object) (partlyLocated ?ZEPHYR ?PLACE) (measure ?ZEPHYR (MeasureFn ?SPEED KnotUnitOfSpeed))) (surfaceWindSpeed ?PLACE (MeasureFn ?SPEED KnotUnitOfSpeed))) |
Weather.kif 147-153 | If X is an instance of wind flow, Y is an instance of object, X is partly located in Y, and the measure of X is Z knot unit of speed(s), then Z knot unit of speed(s) is a surface wind speed of Y |
| consequent |
|
|
| (=> (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 10463-10466 | 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 |
| appearance as argument number 0 |
|
|
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-321a000c (2026-05-05) is open source software produced by Articulate Software and its partners