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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 instance AgricultureForestryFishingAndHunting and IndustryAttribute
(subAttribute AgricultureForestryFishingAndHunting AgriculturalSector) Economy.kif 1137-1137 subAttribute AgricultureForestryFishingAndHunting and AgriculturalSector

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


(subAttribute AnimalProduction AgricultureForestryFishingAndHunting) naics.kif 334-334 subAttribute AnimalProduction and AgricultureForestryFishingAndHunting
(subAttribute CropProduction AgricultureForestryFishingAndHunting) naics.kif 74-74 subAttribute CropProduction and AgricultureForestryFishingAndHunting
(subAttribute FishingHuntingAndTrapping AgricultureForestryFishingAndHunting) naics.kif 523-523 subAttribute FishingHuntingAndTrapping and AgricultureForestryFishingAndHunting
(subAttribute ForestryAndLogging AgricultureForestryFishingAndHunting) naics.kif 499-499 subAttribute ForestryAndLogging and AgricultureForestryFishingAndHunting
(subAttribute SupportActivitiesForAgricultureAndForestry AgricultureForestryFishingAndHunting) naics.kif 560-560 subAttribute SupportActivitiesForAgricultureAndForestry and AgricultureForestryFishingAndHunting
(termFormat ChineseLanguage AgricultureForestryFishingAndHunting "农业林业捕鱼和狩猎") domainEnglishFormat.kif 6013-6013
(termFormat ChineseTraditionalLanguage AgricultureForestryFishingAndHunting "農業林業捕魚和狩獵") domainEnglishFormat.kif 6012-6012
(termFormat EnglishLanguage AgricultureForestryFishingAndHunting "agriculture forestry fishing and hunting") domainEnglishFormat.kif 6011-6011

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 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