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


KB Term:  Term intersection
English Word: 

  Ship

 Sigma KEE - Ship
Ship(ship)
Flying_Dutchman

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


(subclass Ship DisplacementHullWaterVehicle) Mid-level-ontology.kif 32666-32666 Ship is a subclass of displacement hull water vehicle
(documentation Ship EnglishLanguage "Ship is the class of large WaterVehicle used for travel on oceans, seas, or large lakes.") Mid-level-ontology.kif 32667-32668 Ship is a subclass of displacement hull water vehicle
(externalImage Ship "http://upload.wikimedia.org/wikipedia/commons/9/9a/ DANA_2004_ubt.jpeg") pictureList.kif 167-167 Ship is a subclass of displacement hull water vehicle
(externalImage Ship "http://articulatesoftware.com/SUMOpictures/transportation/ ship.png") pictureList.kif 726-726 Ship is a subclass of displacement hull water vehicle

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


(subclass CargoShip Ship) Mid-level-ontology.kif 32670-32670 Cargo ship is a subclass of ship
(subclass Warship Ship) Military.kif 286-286 Warship is a subclass of ship
(subclass MerchantMarineShip Ship) Transportation.kif 1019-1019 Merchant marine ship is a subclass of ship
(subclass PassengerShip Ship) Transportation.kif 2494-2494 Passenger ship is a subclass of ship
(subclass OffshoreSupplyShip Ship) Transportation.kif 2631-2631 Offshore supply ship is a subclass of ship
(subclass OffshoreSupportShip Ship) Transportation.kif 2632-2632 Offshore support ship is a subclass of ship
(subclass OffshoreWellProductionShip Ship) Transportation.kif 2633-2633 Offshore well production ship is a subclass of ship
(subclass DrillingShip Ship) Transportation.kif 2634-2634 Drilling ship is a subclass of ship
(subclass ResearchShip Ship) Transportation.kif 2635-2635 Research ship is a subclass of ship
(subclass Dredger Ship) Transportation.kif 2637-2637 Dredger is a subclass of ship
(subclass MotorHopper Ship) Transportation.kif 2639-2639 Motor hopper is a subclass of ship
(subclass SludgeDisposalVessel Ship) Transportation.kif 2640-2640 Sludge disposal vessel is a subclass of ship
(subclass CraneShip Ship) Transportation.kif 2641-2641 Crane ship is a subclass of ship
(subclass CableShip Ship) Transportation.kif 2642-2642 Cable ship is a subclass of ship
(subclass IceBreakerShip Ship) Transportation.kif 2643-2643 Ice breaker ship is a subclass of ship
(termFormat EnglishLanguage Ship "ship") domainEnglishFormat.kif 52594-52594 Ice breaker ship is a subclass of ship
(termFormat ChineseTraditionalLanguage Ship "船") domainEnglishFormat.kif 52595-52595 Ice breaker ship is a subclass of ship
(termFormat ChineseLanguage Ship "船") domainEnglishFormat.kif 52596-52596 Ice breaker ship is a subclass of ship

appearance as argument number 3
-------------------------


(domain ShipBerthingFn 1 Ship) Transportation.kif 4443-4443 The number 1 argument of ship berthing is an instance of ship

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


(=>
    (and
        (instance ?REGISTRATION ShipRegistration)
        (instance ?SHIP Ship)
        (possesses ?SHIP ?REGISTRATION)
        (instance ?AREA GeopoliticalArea)
        (flagState ?SHIP ?AREA))
    (subsumesContentInstance
        (ShipRegisterFn ?AREA) ?REGISTRATION))		 Transportation.kif 1097-1104 If X is an instance of ship registration, Y is an instance of ship, Y possesses X, Z is an instance of geopolitical area, and Z is a flag state of Y, then the ship register of Z subsumes the content of X
(=>
    (and
        (instance ?SHIP Ship)
        (instance ?AREA GeopoliticalArea)
        (member ?SHIP
            (MerchantMarineFn ?AREA)))
    (exists (?REGISTRATION)
        (and
            (instance ?REGISTRATION ShipRegistration)
            (possesses ?SHIP ?REGISTRATION)
            (subsumesContentInstance
                (ShipRegisterFn ?AREA) ?REGISTRATION))))		 Transportation.kif 1157-1166 If X is an instance of ship, Y is an instance of geopolitical area, and X is a member of the merchant marine of Y, then there exists Z such that Z is an instance of ship registration, X possesses Z, and the ship register of Y subsumes the content of Z


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