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


KB Term:  Term intersection
English Word: 

  PlayArea

 Sigma KEE - ShipCrewFn
ShipCrewFn

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


(instance ShipCrewFn UnaryFunction) Transportation.kif 4953-4953 Ship crew is an instance of unary function
(documentation ShipCrewFn EnglishLanguage "(ShipCrewFn ?BOAT) denotes the Organization consisting of the people charged with operating the WaterVehicle ?BOAT.") Transportation.kif 4954-4956 Ship crew is an instance of unary function
(domain ShipCrewFn 1 WaterVehicle) Transportation.kif 4958-4958 The number 1 argument of ship crew is an instance of water vehicle
(range ShipCrewFn Group) Transportation.kif 4959-4959 The range of ship crew is an instance of group

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