Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Bridge(bridge) |  | Angostura_Bridge, Golden_Gate_Bridge, Ponte_25_de_Abril, Walt_Whitman_Bridge, bridge, rope_bridge, span, suspension_bridge, toll_bridge |
| appearance as argument number 1 |
|
|
| (subclass Bridge LandTransitway) | Transportation.kif 1762-1762 | Bridge is a subclass of land transitway |
| (subclass Bridge StationaryArtifact) | Transportation.kif 1763-1763 | Bridge is a subclass of stationary artifact |
| (documentation Bridge EnglishLanguage "Bridge is the subclass of LandTransitways that are artifacts used for crossing water or land areas.") | Transportation.kif 1764-1765 | Bridge is a subclass of stationary artifact |
| appearance as argument number 2 |
|
|
| 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 1767-1777 | If X is an instance of bridge, then X has the purpose there exist Y, Z such that Y is an instance of translocation, X is path along which Y occurs, X is above to Z, and Z is an instance of land area or Z is an instance of body of water |
|