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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - WaterTransportationIndustry
WaterTransportationIndustry(water transportation industry)water_transportation_industry, 水运业, 水運業

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 8083-8085
(instance WaterTransportationIndustry IndustryAttribute) naics.kif 8081-8081 Water transportation industry is an instance of industry attribute

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


(termFormat ChineseLanguage WaterTransportationIndustry "水运业") domainEnglishFormat.kif 62437-62437 "水运业" is the printable form of water transportation industry in ChineseLanguage
(termFormat ChineseTraditionalLanguage WaterTransportationIndustry "水運業") domainEnglishFormat.kif 62436-62436 "水運業" is the printable form of water transportation industry in ChineseTraditionalLanguage
(termFormat EnglishLanguage WaterTransportationIndustry "water transportation industry") domainEnglishFormat.kif 62435-62435 "water transportation industry" is the printable form of water transportation industry in english language

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)
                            (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 8087-8112


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners