| Inside | |
| appearance as argument number 1 |
|
|
| (contraryAttribute Inside Outside) | Mid-level-ontology.kif 10312-10312 | |
| (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 10296-10298 | |
| (instance Inside PositionalAttribute) | Mid-level-ontology.kif 10295-10295 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Inside "内") | domainEnglishFormat.kif 30240-30240 | |
| (termFormat ChineseTraditionalLanguage Inside "內") | domainEnglishFormat.kif 30239-30239 | |
| (termFormat EnglishLanguage Inside "inside") | domainEnglishFormat.kif 30238-30238 |
| antecedent |
|
|
| (=> (and (instance ?T Transfer) (objectTransferred ?T ?O) (orientation ?O2 ?O Inside)) (objectTransferred ?T ?O2)) |
Merge.kif 11487-11492 | |
| (=> (instance ?INSIDE Inside) (exists (?OBJECT) (forall (?THING) (=> (located ?THING ?INSIDE) (exists (?PART) (and (interiorPart ?PART ?OBJECT) (located ?THING ?PART))))))) |
Mid-level-ontology.kif 10300-10309 | |
| (=> (orientation ?OBJ ?REGION Inside) (instance ?REGION Region)) |
Mid-level-ontology.kif 10321-10323 | |
| (=> (orientation ?OBJ1 ?OBJ2 Inside) (located ?OBJ1 ?OBJ2)) |
Merge.kif 17314-17316 |
| consequent |
|
|
| (=> (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)) |
ComputingBrands.kif 2665-2676 | |
| (=> (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 | |
| (=> (and (instance ?X FruitOrVegetable) (part ?F ?X) (instance ?F FleshOrPulp) (part ?P ?X) (instance ?P PeelOrRind)) (orientation ?F ?P Inside)) |
Food.kif 2323-2330 | |
| (=> (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 18598-18611 | |
| (=> (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 18617-18630 | |
| (=> (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 | |
| (=> (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 1960-1969 | |
| (=> (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 1943-1951 | |
| (=> (instance ?INDOORS Indoors) (exists (?BUILDING) (and (instance ?BUILDING Building) (orientation ?INDOORS ?BUILDING Inside)))) |
Mid-level-ontology.kif 10351-10356 | |
| (=> (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 4755-4766 | |
| (=> (instance ?OUTDOORS Outdoors) (not (exists (?BUILDING) (and (instance ?BUILDING Building) (orientation ?OUTDOORS ?BUILDING Inside))))) |
Mid-level-ontology.kif 10339-10345 |
|
|
|