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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BusinessCompetition
BusinessCompetition

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


(documentation BusinessCompetition EnglishLanguage "Any Contest where the contestParticipants are Corporations and the aim is to win as many customers as possible.") Mid-level-ontology.kif 19981-19982
(externalImage BusinessCompetition "http://upload.wikimedia.org/wikipedia/ commons/ 3/ 35/ View_of_Wall_Street.jpg") pictureList.kif 8398-8398
(externalImage BusinessCompetition "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 72/ Usdepartmentofjustice.jpg") pictureList.kif 9014-9014
(externalImage BusinessCompetition "http://upload.wikimedia.org/wikipedia/ commons/ a/ a8/ London.bankofengland.arp.jpg") pictureList.kif 9012-9012
(externalImage BusinessCompetition "http://upload.wikimedia.org/wikipedia/ commons/ a/ ae/ Commercial_st.jpg") pictureList.kif 9013-9013
(subclass BusinessCompetition Contest) Mid-level-ontology.kif 19980-19980

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


(termFormat ChineseLanguage BusinessCompetition "商业竞争") domainEnglishFormat.kif 12456-12456
(termFormat ChineseTraditionalLanguage BusinessCompetition "商業競爭") domainEnglishFormat.kif 12455-12455
(termFormat EnglishLanguage BusinessCompetition "business competition") domainEnglishFormat.kif 12454-12454

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


(=>
    (and
        (instance ?CONTEST BusinessCompetition)
        (contestParticipant ?CONTEST ?AGENT))
    (instance ?AGENT Corporation))
Mid-level-ontology.kif 19984-19988


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