ContestAttribute - Sigma Knowledge base Browser

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 17386-17390
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17385-17385	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 2460-2460	Enemy is an instance of contest attribute
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19482-19482	Lost is an instance of contest attribute
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19491-19491	Tie score is an instance of contest attribute
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19487-19487	Won is an instance of contest attribute
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19495-19495	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 17392-17402

If an agent the attribute an attribute and the attribute is an instance of contest attribute,
then there exists a process such that the process is an instance of contest and the agent is an agent of the process or the agent is a patient of the process or the agent is a subprocess of the process

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