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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AgricultureForestryFishingAndHunting

Sigma KEE - AgricultureForestryFishingAndHunting
AgricultureForestryFishingAndHunting(農業林業捕魚和狩獵)

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


(documentation AgricultureForestryFishingAndHunting EnglishLanguage "An Attribute of an Organization, that specifies that the primary business of the organization involves Agriculture, Forestry, Fishing and Hunting.") naics.kif 46-48
(instance AgricultureForestryFishingAndHunting IndustryAttribute) naics.kif 44-44 農業林業捕魚和狩獵 and 行業屬性
(subAttribute AgricultureForestryFishingAndHunting AgriculturalSector) Economy.kif 1147-1147 子屬性 農業林業捕魚和狩獵 and 農業部門

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


(subAttribute AnimalProduction AgricultureForestryFishingAndHunting) naics.kif 334-334 子屬性 動物生產 and 農業林業捕魚和狩獵
(subAttribute CropProduction AgricultureForestryFishingAndHunting) naics.kif 74-74 子屬性 作物生產 and 農業林業捕魚和狩獵
(subAttribute FishingHuntingAndTrapping AgricultureForestryFishingAndHunting) naics.kif 523-523 子屬性 釣魚狩獵和誘捕 and 農業林業捕魚和狩獵
(subAttribute ForestryAndLogging AgricultureForestryFishingAndHunting) naics.kif 499-499 子屬性 林業和伐木業 and 農業林業捕魚和狩獵
(subAttribute SupportActivitiesForAgricultureAndForestry AgricultureForestryFishingAndHunting) naics.kif 560-560 子屬性 支持農業和林業活動 and 農業林業捕魚和狩獵
(termFormat ChineseLanguage AgricultureForestryFishingAndHunting "农业林业捕鱼和狩猎") domainEnglishFormat.kif 6006-6006
(termFormat ChineseTraditionalLanguage AgricultureForestryFishingAndHunting "農業林業捕魚和狩獵") domainEnglishFormat.kif 6005-6005
(termFormat EnglishLanguage AgricultureForestryFishingAndHunting "agriculture forestry fishing and hunting") domainEnglishFormat.kif 6004-6004

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


(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG AgricultureForestryFishingAndHunting))
    (exists (?EV ?MEM)
        (and
            (member ?MEM ?ORG)
            (agent ?EV ?MEM)
            (exists (?THING ?EV2 ?MEM2)
                (and
                    (or
                        (instance ?EV Killing)
                        (instance ?EV Maintaining))
                    (patient ?EV ?THING)
                    (or
                        (instance ?THING Animal)
                        (instance ?THING Plant))
                    (not
                        (instance ?THING Human))
                    (member ?MEM2 ?ORG)
                    (instance ?EV2 Selling)
                    (agent ?EV2 ?MEM2)
                    (patient ?EV2 ?THING))))))
naics.kif 50-72


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