Bridge | ![]() |
appearance as argument number 1 |
![]() |
(documentation Bridge EnglishLanguage "Bridge is the subclass of LandTransitways that are artifacts used for crossing water or land areas.") | Transportation.kif 1749-1750 | |
(subclass Bridge LandTransitway) | Transportation.kif 1747-1747 | Bridge est une sous-classe de LandTransitway |
(subclass Bridge StationaryArtifact) | Transportation.kif 1748-1748 | Bridge est une sous-classe de artefact stationnaire |
appearance as argument number 2 |
![]() |
(subclass FixedBridge Bridge) | Transportation.kif 1764-1764 | FixedBridge est une sous-classe de Bridge |
(subclass MovableBridge Bridge) | Transportation.kif 1766-1766 | MovableBridge est une sous-classe de Bridge |
(termFormat ChineseLanguage Bridge "桥") | domainEnglishFormat.kif 11942-11942 | MovableBridge est une sous-classe de Bridge |
(termFormat ChineseTraditionalLanguage Bridge "橋") | domainEnglishFormat.kif 11941-11941 | MovableBridge est une sous-classe de Bridge |
(termFormat EnglishLanguage Bridge "bridge") | domainEnglishFormat.kif 11940-11940 | MovableBridge est une sous-classe de Bridge |
antecedent |
![]() |
(=> (instance ?B Bridge) (hasPurpose ?B (exists (?T ?X) (and (instance ?T Translocation) (path ?T ?B) (orientation ?B ?X Above) (or (instance ?X LandArea) (instance ?X BodyOfWater)))))) |
Transportation.kif 1752-1762 |
![]() |
![]() |