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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Utilities
Utilities

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


(documentation Utilities EnglishLanguage "An Attribute of an Organization, that specifies that the primary business of the organization involves Utilities.") naics.kif 925-927
(externalImage Utilities "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ energy/ Utilities.png") pictureList.kif 817-817 externalImage Utilities and "http://www.adampease.org/Articulate/SUMOpictures/pictures/ energy/ Utilities.png"
(instance Utilities IndustryAttribute) naics.kif 923-923 instance Utilities and IndustryAttribute

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


(subAttribute ElectricPowerGenerationTransmissionAndDistribution Utilities) naics.kif 980-980 subAttribute ElectricPowerGenerationTransmissionAndDistribution and Utilities
(subAttribute NaturalGasDistribution Utilities) naics.kif 1042-1042 subAttribute NaturalGasDistribution and Utilities
(subAttribute WaterSewageAndOtherSystems Utilities) naics.kif 1048-1048 subAttribute WaterSewageAndOtherSystems and Utilities
(termFormat ChineseLanguage Utilities "公用事业") domainEnglishFormat.kif 61027-61027 termFormat ChineseLanguage, Utilities and "公用事业"
(termFormat ChineseTraditionalLanguage Utilities "公用事業") domainEnglishFormat.kif 61026-61026 termFormat ChineseTraditionalLanguage, Utilities and "公用事業"
(termFormat EnglishLanguage Utilities "utilities") domainEnglishFormat.kif 61025-61025 termFormat EnglishLanguage, Utilities and "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 954-977


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