Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Unpaved(unpaved)
more pictures... |  | unpaved |
| appearance as argument number 1 |
|
|
| (instance Unpaved Attribute) | Mid-level-ontology.kif 16635-16635 | Unpaved is an instance of attribute |
| (externalImage Unpaved "http://upload.wikimedia.org/wikipedia/commons/1/ 1d/ Wallpaper_group_cmm-1.jpg") | pictureList.kif 6949-6949 | Unpaved is an instance of attribute |
| (externalImage Unpaved "http://upload.wikimedia.org/wikipedia/commons/2/ 25/ St_Louis_Street%2C_Lebanon%2C_Illinois.JPG") | pictureList.kif 8182-8182 | Unpaved is an instance of attribute |
| (externalImage Unpaved "http://upload.wikimedia.org/wikipedia/commons/6/ 6a/ Wallpaper_group_p3-1.jpg") | pictureList.kif 8183-8183 | Unpaved is an instance of attribute |
| (externalImage Unpaved "http://upload.wikimedia.org/wikipedia/commons/c/ c6/ Wallpaper_group_pgg-2.jpg") | pictureList.kif 8184-8184 | Unpaved is an instance of attribute |
| (externalImage Unpaved "http://upload.wikimedia.org/wikipedia/commons/c/ cf/ Photo_of_road_being_resurfaced.jpg") | pictureList.kif 8185-8185 | Unpaved is an instance of attribute |
| (externalImage Unpaved "http://upload.wikimedia.org/wikipedia/en/d/de/Small_cobbles.jpg") | pictureList.kif 8187-8187 | Unpaved is an instance of attribute |
| appearance as argument number 2 |
|
|
| (contraryAttribute Paved Unpaved) | Mid-level-ontology.kif 16636-16636 | Paved is the opposite of unpaved |
| (termFormat EnglishLanguage Unpaved "unpaved") | domainEnglishFormat.kif 60503-60503 | Paved is the opposite of unpaved |
| (termFormat ChineseTraditionalLanguage Unpaved "未鋪砌") | domainEnglishFormat.kif 60504-60504 | Paved is the opposite of unpaved |
| (termFormat ChineseLanguage Unpaved "未铺砌") | domainEnglishFormat.kif 60505-60505 | Paved is the opposite of unpaved |
| consequent |
|
|
| (=> (instance ?UR UnsurfacedRoadway) (attribute ?UR Unpaved)) |
Transportation.kif 639-641 | If X is an instance of unsurfaced roadway, then unpaved is an attribute of X |
| (=> (instance ?UR UnpavedRunway) (attribute ?UR Unpaved)) |
Transportation.kif 1641-1643 | If X is an instance of unpaved runway, then unpaved is an attribute of X |
|