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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - GasolineStations
GasolineStations

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


(documentation GasolineStations EnglishLanguage "An Attribute of an Organization, that specifies that the primary business of the organization involves Gasoline Stations.") naics.kif 7468-7470
(externalImage GasolineStations "http://upload.wikimedia.org/wikipedia/commons/ 7/ 79/ GasStationHiroshima.jpg") pictureList.kif 2192-2192
(instance GasolineStations IndustryAttribute) naics.kif 7466-7466

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


(subAttribute GasolineStationsWithConvenienceStores GasolineStations) naics.kif 7486-7486
(subAttribute OtherGasolineStations GasolineStations) naics.kif 7493-7493
(termFormat ChineseLanguage GasolineStations "加油站") domainEnglishFormat.kif 25562-25562
(termFormat ChineseTraditionalLanguage GasolineStations "加油站") domainEnglishFormat.kif 25561-25561
(termFormat EnglishLanguage GasolineStations "gasoline stations") domainEnglishFormat.kif 25560-25560

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


(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG GasolineStations))
    (exists (?EV ?MEM)
        (and
            (member ?MEM ?ORG)
            (agent ?MEM ?EV)
            (exists (?THING)
                (and
                    (instance ?EV Selling)
                    (instance ?THING RefinedPetroleumProduct)
                    (patient ?EV ?THING))))))
naics.kif 7472-7484


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 is open source software produced by Articulate Software and its partners