| FixedBridge | | Tacoma_Narrows_Bridge |
| appearance as argument number 1 |
|
|
| (subclass FixedBridge Bridge) | Transportation.kif 1763-1763 | FixedBridge is a subclass of Bridge |
| (subclass FixedBridge StationaryArtifact) | Transportation.kif 1764-1764 | FixedBridge is a subclass of stationary artifact |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage FixedBridge "固定桥") | domainEnglishFormat.kif 24114-24114 | |
| (termFormat ChineseTraditionalLanguage FixedBridge "固定橋") | domainEnglishFormat.kif 24113-24113 | |
| (termFormat EnglishLanguage FixedBridge "fixed bridge") | domainEnglishFormat.kif 24112-24112 |
|
|
|