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


KB Term:  Term intersection
English Word: 

  WaterTransportationIndustry

 Sigma KEE - WaterTransportationIndustry
WaterTransportationIndustry(water transportation industry)

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


(instance WaterTransportationIndustry IndustryAttribute) naics.kif 8071-8071 Water transportation industry is an instance of industry attribute
(documentation WaterTransportationIndustry EnglishLanguage "An Attribute of an Organization, that specifies that the primary business of the organization involves Water Transportation.") naics.kif 8073-8075 Water transportation industry is an instance of industry attribute

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


(termFormat EnglishLanguage WaterTransportationIndustry "water transportation industry") domainEnglishFormat.kif 62494-62494
(termFormat ChineseTraditionalLanguage WaterTransportationIndustry "水運業") domainEnglishFormat.kif 62495-62495
(termFormat ChineseLanguage WaterTransportationIndustry "水运业") domainEnglishFormat.kif 62496-62496
(subAttribute DeepSeaCoastalAndGreatLakesWaterTransportation WaterTransportationIndustry) naics.kif 8104-8104 Deep sea coastal and great lakes water transportation is a subattribute of water transportation industry
(subAttribute InlandWaterTransportation WaterTransportationIndustry) naics.kif 8224-8224 Inland water transportation is a subattribute of water transportation industry

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


(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG WaterTransportationIndustry))
    (exists (?EV ?MEM)
        (and
            (member ?MEM ?ORG)
            (agent ?MEM ?EV)
            (exists (?P)
                (and
                    (instance ?EV Selling)
                    (instance ?P Human)
                    (patient ?EV ?P)
                    (confersRight ?MEM ?P
                        (exists (?T ?V ?OBJ)
                            (and
                                (instance ?T Transportation)
                                (or
                                    (patient ?T ?P)
                                    (and
                                        (possesses ?P ?OBJ)
                                        (patient ?T ?OBJ)
                                        (instance ?OBJ Object)))
                                (possesses ?ORG ?V)
                                (instance ?V WaterVehicle)))))))))		 naics.kif 8077-8102 If X is an instance of organization and water transportation industry is an attribute of X, then All of the following hold: (1) there exist Y (2) Z such that Z is a member of X (3) Y is an agent of Z (4) there exists W such that Y is an instance of selling (5) W is an instance of human (6) W is a patient of Y (7) W allows there exist V, U (8) T such that V is an instance of transportation (9) W is a patient of V or W possesses T (10) T is a patient of V (11) T is an instance of object (12) X possesses U (13) U is an instance of water vehicle to perform task of the type 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