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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Agency
Agency(agency)

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


(documentation Agency EnglishLanguage "A Business whose customers are all other CommercialAgents, e.g. staffing agencies, food-service providers, etc.") Mid-level-ontology.kif 7131-7132
(externalImage Agency "http://upload.wikimedia.org/wikipedia/commons/b/b5/ Cia-lobby-seal.jpg") pictureList.kif 10367-10367
(externalImage Agency "http://upload.wikimedia.org/wikipedia/en/1/14/CNN_International.jpg") pictureList.kif 10366-10366
(externalImage Agency "http://upload.wikimedia.org/wikipedia/en/e/e1/CNN-globe-logo.png") pictureList.kif 9873-9873
(subclass Agency Business) Mid-level-ontology.kif 7130-7130 Agency is a subclass of business

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


(termFormat ChineseLanguage Agency "机构") domainEnglishFormat.kif 5808-5808
(termFormat ChineseTraditionalLanguage Agency "機構") domainEnglishFormat.kif 5807-5807
(termFormat EnglishLanguage Agency "agency") domainEnglishFormat.kif 5806-5806

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


(=>
    (and
        (instance ?A Agency)
        (customer ?C ?A))
    (instance ?C CommercialAgent))
Mid-level-ontology.kif 7134-7138


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