| Inside(inside the) | | belly, inside, interior, penetralia |
| appearance as argument number 1 |
|
|
| (instance Inside PositionalAttribute) | Mid-level-ontology.kif 10427-10427 | Inside the is an instance of positional attribute |
| (documentation Inside EnglishLanguage "Inside is a PositionalAttribute used to describe the relative location of one object or region to another region.") | Mid-level-ontology.kif 10428-10430 | Inside the is an instance of positional attribute |
| (contraryAttribute Inside Outside) | Mid-level-ontology.kif 10450-10450 | Inside the is the opposite of outside of |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| consequent |
|
|
| (=> (instance ?G Shotgun) (exists (?B ?P) (and (instance ?B GunBore) (properPart ?B ?G) (superficialPart ?P ?B) (orientation ?P ?B Inside) (attribute ?P Smooth)))) |
Mid-level-ontology.kif 1993-2001 | If X is an instance of shot gun, then there exist Y, Z such that Y is an instance of gun bore, Y is a proper part of X, Z is a superficial part of Y, Z is inside the to Y, and smooth is an attribute of Z |
| (=> (instance ?G Rifle) (exists (?B ?P) (and (instance ?B GunBore) (properPart ?B ?G) (superficialPart ?P ?B) (orientation ?P ?B Inside) (not (attribute ?P Smooth))))) |
Mid-level-ontology.kif 2010-2019 | If X is an instance of rifle, then there exist Y, Z such that Y is an instance of gun bore, Y is a proper part of X, Z is a superficial part of Y, Z is inside the to Y, and smooth is not an attribute of Z |
| (=> (instance ?OUTDOORS Outdoors) (not (exists (?BUILDING) (and (instance ?BUILDING Building) (orientation ?OUTDOORS ?BUILDING Inside))))) |
Mid-level-ontology.kif 10482-10488 | If X is an instance of outdoors, then there doesn't exist Y such that Y is an instance of building and X is inside the to Y |
| (=> (instance ?INDOORS Indoors) (exists (?BUILDING) (and (instance ?BUILDING Building) (orientation ?INDOORS ?BUILDING Inside)))) |
Mid-level-ontology.kif 10494-10499 | If X is an instance of indoors, then there exists Y such that Y is an instance of building and X is inside the to Y |
| (=> (instance ?E Entering) (exists (?R ?A) (and (instance ?R Region) (destination ?E ?R) (agent ?E ?A) (instance ?A AutonomousAgent) (holdsDuring (BeginFn (WhenFn ?E)) (orientation ?A ?R Outside)) (holdsDuring (EndFn (WhenFn ?E)) (orientation ?A ?R Inside))))) |
Mid-level-ontology.kif 18800-18813 | If X is an instance of entering, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of region (3) X ends up at Y (4) Z is an agent of X (5) Z is an instance of agent (6) Z is outside of to Y holds during the beginning of the time of existence of X (7) Z is inside the to Y holds during the end of the time of existence of X |
| (=> (instance ?E Exiting) (exists (?R ?A) (and (instance ?R Region) (origin ?E ?R) (agent ?E ?A) (instance ?A AutonomousAgent) (holdsDuring (BeginFn (WhenFn ?E)) (orientation ?A ?R Inside)) (holdsDuring (EndFn (WhenFn ?E)) (orientation ?A ?R Outside))))) |
Mid-level-ontology.kif 18819-18832 | If X is an instance of exiting, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of region (3) X originates at Y (4) Z is an agent of X (5) Z is an instance of agent (6) Z is inside the to Y holds during the beginning of the time of existence of X (7) Z is outside of to Y holds during the end of the time of existence of X |
| (=> (and (attribute ?O Convex) (surface ?O ?S) (part ?P1 ?S) (part ?P2 ?S) (equal ?L (LineFn ?P1 ?P2)) (not (equal ?P1 ?P2)) (part ?PL ?L)) (orientation ?PL ?O Inside)) |
Mid-level-ontology.kif 34782-34793 | If All of the following hold: (1) convex is an attribute of X (2) X is a surface of Y (3) Z is a part of Y (4) W is a part of Y (5) equal V, the line between Z, and W (6) equal Z and W (7) U is a part of V, then U is inside the to X |
| (=> (instance ?IVE InteriorVehicleEquipment) (hasPurpose ?IVE (exists (?V ?E) (and (instance ?V Automobile) (instance ?E Engine) (part ?E ?V) (not (part ?IVE ?E)) (part ?IVE ?V) (orientation ?IVE ?V Inside))))) |
Cars.kif 4586-4597 | If X is an instance of vehicle interior, then All of the following hold: (1) X has the purpose there exist Y (2) Z such that Y is an instance of automobile (3) Z is an instance of engine (4) Z is a part of Y (5) X is not a part of Z (6) X is a part of Y (7) X is inside the to Y |
| (=> (instance ?G GUIDock) (exists (?I ?P ?CP) (and (instance ?CP ComputerProgram) (programRunning ?P ?CP) (instance ?I Icon) (represents ?I ?P) (orientation ?I ?G Inside)))) |
ComputingBrands.kif 2544-2552 | If X is an instance of dock, then there exist Y, Z, W such that W is an instance of computer program, W is a program running of Z, Y is an instance of icon, Y expresses Z, and Y is inside the to X |
| (=> (and (instance ?X FruitOrVegetable) (part ?F ?X) (instance ?F FleshOrPulp) (part ?P ?X) (instance ?P PeelOrRind)) (orientation ?F ?P Inside)) |
Food.kif 2336-2343 | If X is an instance of fruit or vegetable, Y is a part of X, Y is an instance of flesh or pulp, Z is a part of X, and Z is an instance of peel or rind, then Y is inside the to Z |
| (=> (and (attribute ?X Suite) (instance ?X HotelUnit)) (exists (?R1 ?R2) (and (instance ?R1 HotelRoom) (instance ?R2 HotelRoom) (orientation ?R1 ?X Inside) (orientation ?R2 ?X Inside) (not (equal ?R1 ?R2))))) |
Hotel.kif 1011-1022 | If suite is an attribute of X and X is an instance of hotel unit, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of hotel room (3) Z is an instance of hotel room (4) Y is inside the to X (5) Z is inside the to X (6) equal Y (7) Z |
|
|
|