| Roof
| |
| appearance as argument number 1 |
|
|
| (documentation Roof EnglishLanguage "The top of a Building.") | Mid-level-ontology.kif 15343-15343 | |
| (externalImage Roof "http://upload.wikimedia.org/wikipedia/commons/2/29/ Roofes.JPG") | pictureList.kif 159-159 | |
| (subclass Roof StationaryArtifact) | Mid-level-ontology.kif 15342-15342 | Roof ist eine teilkategorie von StationaryArtifact |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Roof "屋顶") | domainEnglishFormat.kif 50408-50408 | |
| (termFormat ChineseTraditionalLanguage Roof "屋頂") | domainEnglishFormat.kif 50407-50407 | |
| (termFormat EnglishLanguage Roof "roof") | domainEnglishFormat.kif 50406-50406 |
| antecedent |
|
|
| (=> (instance ?ROOF Roof) (exists (?BUILDING) (and (instance ?BUILDING Building) (top ?ROOF ?BUILDING)))) |
Mid-level-ontology.kif 15345-15350 |
|
| consequent |
|
|
| (=> (instance ?X Courtyard) (and (not (exists (?ROOF) (and (instance ?ROOF Roof) (top ?ROOF ?X)))) (exists (?BLDG) (and (instance ?BLDG Building) (orientation ?X ?BLDG Surrounded))))) |
Mid-level-ontology.kif 26009-26020 |
|
| (=> (instance ?X Lanai) (exists (?ROOF) (and (instance ?ROOF Roof) (part ?ROOF ?X) (modalAttribute (exists (?AREA) (and (instance ?AREA SittingArea) (located ?AREA ?X))) Likely)))) |
Mid-level-ontology.kif 26643-26653 |
|
|
|
|