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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - EntertainmentProfession
EntertainmentProfession(娛樂專業)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18916-18918
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9192-9192
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8472-8472
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9193-9193
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9196-9196
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9194-9194
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18915-18915 子類 娛樂專業 and 熟練的職業

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18803-18803 例 Actor and 娛樂專業
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18830-18830 例 Artist and 娛樂專業
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18790-18790 例 喜劇演員 and 娛樂專業
No TPTP formula. May not be expressible in strict first order. Media.kif 1862-1862 例 MusicalConductor and 娛樂專業
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18844-18844 例 Performer and 娛樂專業
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20674-20674 子類 電影製作專業 and 娛樂專業
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20650-20650 子類 戲劇專業 and 娛樂專業
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22210-22210
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22209-22209
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22208-22208

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18920-18926


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