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 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


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