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


KB Term:  Term intersection
English Word: 

  OffshoreAnchorage

 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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners