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 916-917
(externalImage OffshoreAnchorage "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 85/ Pflugscharanker.jpg") pictureList.kif 10183-10183
(subclass OffshoreAnchorage Anchorage) Transportation.kif 915-915

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


(termFormat ChineseLanguage OffshoreAnchorage "海外锚地") domainEnglishFormat.kif 41845-41845
(termFormat ChineseTraditionalLanguage OffshoreAnchorage "海外錨地") domainEnglishFormat.kif 41844-41844
(termFormat EnglishLanguage OffshoreAnchorage "offshore anchorage") domainEnglishFormat.kif 41843-41843

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


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


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