| Indoors(indoors)
| | indoors, inside, within |
| appearance as argument number 1 |
|
|
| (disjoint Indoors Outdoors) | Mid-level-ontology.kif 8849-8849 | Indoors is disjoint from outdoors |
| (documentation Indoors EnglishLanguage "Any Region which is enclosed by a Building.") | Mid-level-ontology.kif 8850-8850 | |
| (externalImage Indoors "http://upload.wikimedia.org/wikipedia/en/thumb/d/ d7/ Generic_kitchen.jpg/ 180px-Generic_kitchen.jpg") | pictureList.kif 1312-1312 | |
| (subclass Indoors Region) | Mid-level-ontology.kif 8848-8848 | Indoors is a subclass of region |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Indoors "在室内") | domainEnglishFormat.kif 29638-29638 | |
| (termFormat ChineseTraditionalLanguage Indoors "在室內") | domainEnglishFormat.kif 29637-29637 | |
| (termFormat EnglishLanguage Indoors "indoors") | domainEnglishFormat.kif 29636-29636 |
| antecedent |
|
|
| (=> (instance ?INDOORS Indoors) (exists (?BUILDING) (and (instance ?BUILDING Building) (orientation ?INDOORS ?BUILDING Inside)))) |
Mid-level-ontology.kif 8852-8857 |
|
| consequent |
|
|
| (=> (attribute ?X DownAndInRoom) (exists (?LOC ?INDOOR) (and (instance ?INDOOR Indoors) (instance ?LOC Region) (orientation ?LOC ?X Adjacent) (orientation ?LOC ?X Outside) (located ?LOC ?INDOOR)))) |
Hotel.kif 1014-1022 |
|
|
|
|