Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - OffshoreAnchorage
OffshoreAnchorage(offshore anchorage)

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


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

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


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

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


(=>
    (instance ?ANCHOR OffshoreAnchorage)
    (not
        (exists (?HARBOR)
            (and
                (instance ?HARBOR Harbor)
                (located ?ANCHOR ?HARBOR)))))		 Transportation.kif 930-936 If X is an instance of offshore anchorage, then there doesn't exist Y such that Y is an instance of harbor and X is located at Y


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners