Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Bridge
Bridge

appearance as argument number 1
-------------------------


(documentation Bridge EnglishLanguage "Bridge is the subclass of LandTransitways that are artifacts used for crossing water or air-filled gaps that could not be transited over a natural surface.") Transportation.kif 1620-1622
(subclass Bridge LandTransitway) Transportation.kif 1618-1618
(subclass Bridge StationaryArtifact) Transportation.kif 1619-1619

appearance as argument number 2
-------------------------


(subclass FixedBridge Bridge) Transportation.kif 1624-1624
(subclass MovableBridge Bridge) Transportation.kif 1626-1626
(termFormat ChineseLanguage Bridge "桥") domainEnglishFormat.kif 11933-11933
(termFormat ChineseTraditionalLanguage Bridge "橋") domainEnglishFormat.kif 11932-11932
(termFormat EnglishLanguage Bridge "bridge") domainEnglishFormat.kif 11931-11931


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners