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

KB Term:  Term intersection
English Word: 

Sigma KEE - Mining
Mining(mining)

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


(instance Mining IndustryAttribute) naics.kif 620-620 Mining is an instance of industry attribute
(documentation Mining EnglishLanguage "An Attribute of an Organization, that specifies that the primary business of the organization involves Mining.") naics.kif 622-623 Mining is an instance of industry attribute
(externalImage Mining "http://upload.wikimedia.org/wikipedia/commons/6/69/ Chuquicamata-002.jpg") pictureList.kif 6702-6702 Mining is an instance of industry attribute

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


(termFormat EnglishLanguage Mining "mining") domainEnglishFormat.kif 37895-37895
(termFormat ChineseTraditionalLanguage Mining "礦業") domainEnglishFormat.kif 37896-37896
(termFormat ChineseLanguage Mining "矿业") domainEnglishFormat.kif 37897-37897
(subAttribute OilAndGasExtraction Mining) naics.kif 644-644 Oil and gas extraction is a subattribute of mining
(subAttribute MiningExceptOilAndGas Mining) naics.kif 664-664 Mining except oil and gas is a subattribute of mining
(subAttribute SupportActivitiesForMining Mining) naics.kif 874-874 Support activities for mining is a subattribute of mining

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


(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG Mining))
    (exists (?EV ?MEM)
        (and
            (member ?MEM ?ORG)
            (agent ?MEM ?EV)
            (exists (?THING ?MEM2 ?EV2)
                (and
                    (instance ?EV Removing)
                    (patient ?EV ?THING)
                    (instance ?THING PureSubstance)
                    (attribute ?THING Solid)
                    (member ?MEM2 ?ORG)
                    (instance ?EV2 Selling)
                    (agent ?EV2 ?MEM2)
                    (patient ?EV2 ?THING))))))		 naics.kif 625-642 If X is an instance of organization and mining 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) Y is an agent of Z (4) there exist W, V (5) U such that Y is an instance of removing (6) W is a patient of Y (7) W is an instance of pure substance (8) solid is an attribute of W (9) V is a member of X (10) U is an instance of selling (11) V is an agent of U (12) W is a patient of U


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 3.0.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners