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


KB Term:  Term intersection
English Word: 

  Entity

 Sigma KEE - AgricultureForestryFishingAndHunting
AgricultureForestryFishingAndHunting(agriculture forestry fishing and hunting)

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


(subAttribute AgricultureForestryFishingAndHunting AgriculturalSector) Economy.kif 1236-1236 Agriculture forestry fishing and hunting is a subattribute of agricultural sector
(instance AgricultureForestryFishingAndHunting IndustryAttribute) naics.kif 38-38 Agriculture forestry fishing and hunting is an instance of industry attribute
(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 40-42 Agriculture forestry fishing and hunting is an instance of industry attribute

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


(termFormat EnglishLanguage AgricultureForestryFishingAndHunting "agriculture forestry fishing and hunting") domainEnglishFormat.kif 6013-6013
(termFormat ChineseTraditionalLanguage AgricultureForestryFishingAndHunting "農業林業捕魚和狩獵") domainEnglishFormat.kif 6014-6014
(termFormat ChineseLanguage AgricultureForestryFishingAndHunting "农业林业捕鱼和狩猎") domainEnglishFormat.kif 6015-6015
(subAttribute CropProduction AgricultureForestryFishingAndHunting) naics.kif 68-68 Crop production is a subattribute of agriculture forestry fishing and hunting
(subAttribute AnimalProduction AgricultureForestryFishingAndHunting) naics.kif 328-328 Animal production is a subattribute of agriculture forestry fishing and hunting
(subAttribute ForestryAndLogging AgricultureForestryFishingAndHunting) naics.kif 493-493 Forestry and logging is a subattribute of agriculture forestry fishing and hunting
(subAttribute FishingHuntingAndTrapping AgricultureForestryFishingAndHunting) naics.kif 517-517 Fishing hunting and trapping is a subattribute of agriculture forestry fishing and hunting
(subAttribute SupportActivitiesForAgricultureAndForestry AgricultureForestryFishingAndHunting) naics.kif 554-554 Support activities for agriculture and forestry is a subattribute of agriculture forestry fishing and hunting

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 44-66 If X is an instance of organization and agriculture forestry fishing and hunting 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) Z is an agent of Y (4) there exist W, V (5) U such that Y is an instance of killing or Y is an instance of maintaining (6) W is a patient of Y (7) W is an instance of animal or W is an instance of plant (8) W is not an instance of human (9) U is a member of X (10) V is an instance of selling (11) U is an agent of V (12) W is a patient of V


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