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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ContestAttribute
ContestAttribute(contest attribute)Pyrrhic_victory, TKO, Waterloo, ahead, all-victorious, armistice, behind, blowout, bottom, capitulation, cease-fire, checkmate, confiscate, corner_kick, course_credit, credit, deadlocked, debacle, default, defeated, disqualified, dormie, dormy, drubbing, error, even, failing, fair, fair_ball, fall, fielder's_choice, first-place_finish, flunk, footfault, forfeit, forfeited, foul, foul_ball, free_kick, fumble, goalless, grand_slam, hitless, in-bounds, in_the_lead, ineligible, landslide, last, last-place, laugher...

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 17457-17461
No TPTP formula. May not be expressible in strict first order. Merge.kif 17456-17456 Contest attribute is a subclass of objective norm

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


No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2462-2462 Enemy is an instance of contest attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19509-19509 Lost is an instance of contest attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19518-19518 Tie score is an instance of contest attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19514-19514 Won is an instance of contest attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19522-19522 Game attribute is a subclass of contest attribute
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 17463-17473


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