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 19723-19724
(externalImage BusinessCompetition "http://upload.wikimedia.org/wikipedia/ commons/ 3/ 35/ View_of_Wall_Street.jpg") pictureList.kif 8399-8399
(externalImage BusinessCompetition "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 72/ Usdepartmentofjustice.jpg") pictureList.kif 9015-9015
(externalImage BusinessCompetition "http://upload.wikimedia.org/wikipedia/ commons/ a/ a8/ London.bankofengland.arp.jpg") pictureList.kif 9013-9013
(externalImage BusinessCompetition "http://upload.wikimedia.org/wikipedia/ commons/ a/ ae/ Commercial_st.jpg") pictureList.kif 9014-9014
(subclass BusinessCompetition Contest) Mid-level-ontology.kif 19722-19722 商业竞争比赛subclass

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


(termFormat ChineseLanguage BusinessCompetition "商业竞争") domainEnglishFormat.kif 12445-12445
(termFormat ChineseTraditionalLanguage BusinessCompetition "商業競爭") domainEnglishFormat.kif 12444-12444
(termFormat EnglishLanguage BusinessCompetition "business competition") domainEnglishFormat.kif 12443-12443

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


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


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