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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - OffshoreAnchorage
OffshoreAnchorage

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

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


(termFormat ChineseLanguage OffshoreAnchorage "海外锚地") domainEnglishFormat.kif 41864-41864
(termFormat ChineseTraditionalLanguage OffshoreAnchorage "海外錨地") domainEnglishFormat.kif 41863-41863
(termFormat EnglishLanguage OffshoreAnchorage "offshore anchorage") domainEnglishFormat.kif 41862-41862

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