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


KB Term:  Term intersection
English Word: 

Sigma KEE - Utilities
Utilities(utilities)

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


(instance Utilities IndustryAttribute) naics.kif 917-917 Utilities is an instance of industry attribute
(documentation Utilities EnglishLanguage "An Attribute of an Organization, that specifies that the primary business of the organization involves Utilities.") naics.kif 919-921 Utilities is an instance of industry attribute
(externalImage Utilities "http://articulatesoftware.com/SUMOpictures/energy/ Utilities.png") pictureList.kif 817-817 Utilities is an instance of industry attribute

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


(termFormat EnglishLanguage Utilities "utilities") domainEnglishFormat.kif 61083-61083
(termFormat ChineseTraditionalLanguage Utilities "公用事業") domainEnglishFormat.kif 61084-61084
(termFormat ChineseLanguage Utilities "公用事业") domainEnglishFormat.kif 61085-61085
(subAttribute ElectricPowerGenerationTransmissionAndDistribution Utilities) naics.kif 974-974 Electric power generation transmission and distribution is a subattribute of utilities
(subAttribute NaturalGasDistribution Utilities) naics.kif 1036-1036 Natural gas distribution is a subattribute of utilities
(subAttribute WaterSewageAndOtherSystems Utilities) naics.kif 1042-1042 Water sewage and other systems is a subattribute of utilities

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


(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG Utilities))
    (exists (?EV ?MEM)
        (and
            (member ?MEM ?ORG)
            (agent ?MEM ?EV)
            (exists (?THING ?MEM2 ?EV2)
                (and
                    (or
                        (instance ?EV Removing)
                        (instance ?THING Sewage))
                    (patient ?EV ?THING)
                    (or
                        (instance ?THING Electron)
                        (instance ?THING Water)
                        (and
                            (instance ?THING PureSubstance)
                            (capability Combustion patient ?THING)))
                    (member ?MEM2 ?ORG)
                    (instance ?EV2 FinancialTransaction)
                    (agent ?EV2 ?MEM2)
                    (patient ?EV2 ?THING))))))		 naics.kif 948-971 If X is an instance of organization and utilities 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 or W is an instance of sewage (6) W is a patient of Y (7) W is an instance of electron or W is an instance of water or W is an instance of pure substance (8) W is capable of doing burning as a patient (9) V is a member of X (10) U is an instance of financial transaction (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-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners