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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Artist

Sigma KEE - Artist
Artist

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18859-18862
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18858-18858 Artist e' uma instancia de EntertainmentProfession

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18873-18873 Performer e' um sub-atributo de Artist
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 64477-64477

consequent
-------------------------


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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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