Roof(roof) | ![]() | housetop, onion_dome, roof |
appearance as argument number 1 |
![]() |
(documentation Roof EnglishLanguage "The top of a Building.") | Mid-level-ontology.kif 16717-16717 | |
(externalImage Roof "http://upload.wikimedia.org/wikipedia/commons/2/29/ Roofes.JPG") | pictureList.kif 159-159 | |
(subclass Roof StationaryArtifact) | Mid-level-ontology.kif 16716-16716 | Roof is a subclass of stationary artifact |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage Roof "屋顶") | domainEnglishFormat.kif 50412-50412 | |
(termFormat ChineseTraditionalLanguage Roof "屋頂") | domainEnglishFormat.kif 50411-50411 | |
(termFormat EnglishLanguage Roof "roof") | domainEnglishFormat.kif 50410-50410 |
antecedent |
![]() |
(=> (instance ?ROOF Roof) (exists (?BUILDING) (and (instance ?BUILDING Building) (top ?ROOF ?BUILDING)))) |
Mid-level-ontology.kif 16719-16724 |
|
consequent |
![]() |
![]() |
![]() |