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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - OffshoreAnchorage
OffshoreAnchorage(offshore anchorage)

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


(documentation OffshoreAnchorage EnglishLanguage "OffshoreAnchorage is the subclass of Anchorages that are located offshore and not within a Harbor.") Transportation.kif 927-928
(externalImage OffshoreAnchorage "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 85/ Pflugscharanker.jpg") pictureList.kif 10162-10162
(subclass OffshoreAnchorage Anchorage) Transportation.kif 926-926 Offshore anchorage is a subclass of anchorage

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


(termFormat ChineseLanguage OffshoreAnchorage "海外锚地") domainEnglishFormat.kif 41900-41900
(termFormat ChineseTraditionalLanguage OffshoreAnchorage "海外錨地") domainEnglishFormat.kif 41899-41899
(termFormat EnglishLanguage OffshoreAnchorage "offshore anchorage") domainEnglishFormat.kif 41898-41898

antecedent
-------------------------


(=>
    (instance ?ANCHOR OffshoreAnchorage)
    (not
        (exists (?HARBOR)
            (and
                (instance ?HARBOR Harbor)
                (located ?ANCHOR ?HARBOR)))))
Transportation.kif 930-936


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