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 17408-17412
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17407-17407	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 19481-19481	Lost is an instance of contest attribute
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19490-19490	Tie score is an instance of contest attribute
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19486-19486	Won is an instance of contest attribute
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19494-19494	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 17414-17424

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