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

Formal Language: 



KB Term:  Term intersection
English Word: 

  WaterTransportationIndustry

 Sigma KEE - WaterTransportationIndustry
WaterTransportationIndustry

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


(documentation WaterTransportationIndustry EnglishLanguage "An Attribute of an Organization, that specifies that the primary business of the organization involves Water Transportation.") naics.kif 8076-8078
(instance WaterTransportationIndustry IndustryAttribute) naics.kif 8074-8074 WaterTransportationIndustry est une instance de IndustryAttribute

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


(subAttribute DeepSeaCoastalAndGreatLakesWaterTransportation WaterTransportationIndustry) naics.kif 8107-8107 DeepSeaCoastalAndGreatLakesWaterTransportation est un sous-attribut de WaterTransportationIndustry
(subAttribute InlandWaterTransportation WaterTransportationIndustry) naics.kif 8227-8227 InlandWaterTransportation est un sous-attribut de WaterTransportationIndustry
(termFormat ChineseLanguage WaterTransportationIndustry "水运业") domainEnglishFormat.kif 62493-62493
(termFormat ChineseTraditionalLanguage WaterTransportationIndustry "水運業") domainEnglishFormat.kif 62492-62492
(termFormat EnglishLanguage WaterTransportationIndustry "water transportation industry") domainEnglishFormat.kif 62491-62491

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
                        (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))) ?MEM ?P))))))		 naics.kif 8080-8105


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 is open source software produced by Articulate Software and its partners