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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ContestAttribute

 Sigma KEE - ContestAttribute
ContestAttribute(Atributo de Competicao)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3884-3886
No TPTP formula. May not be expressible in strict first order. Merge.kif 17386-17390
No TPTP formula. May not be expressible in strict first order. Merge.kif 17385-17385 Atributo de Competicao e' uma sub-classe de Norma Objectiva

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


No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2460-2460 Enemy e' uma instancia de Atributo de Competicao
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19482-19482 Lost e' uma instancia de Atributo de Competicao
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19491-19491 TieScore e' uma instancia de Atributo de Competicao
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19487-19487 Won e' uma instancia de Atributo de Competicao
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19495-19495 GameAttribute e' uma sub-classe de Atributo de Competicao
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1244-1244
No TPTP formula. May not be expressible in strict first order. english_format.kif 1709-1709
No TPTP formula. May not be expressible in strict first order. french_format.kif 922-922
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 456-456
No TPTP formula. May not be expressible in strict first order. terms-it.txt 459-459
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2606-2606
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 874-874
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 461-461
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 495-495
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 943-943
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 460-460

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17392-17402


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