TreeView Knowledge Base Browser - Contest

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Contest

Contest

more pictures...

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3286-3288
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13303-13307
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10740-10740
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9958-9958
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10738-10738
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10742-10742
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10743-10743
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10737-10737
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10741-10741
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10739-10739
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13302-13302	子類 Contest and SocialInteraction

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Music.kif 1049-1049	範圍 ContestFn and Contest
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19722-19722	子類商業競爭 and Contest
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19702-19702	子類辯論 and Contest
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13372-13372	子類 Game and Contest
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13381-13381	子類 LegalAction and Contest
No TPTP formula. May not be expressible in strict first order.	Music.kif 1002-1002	子類 MusicContest and Contest
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19709-19709	子類談判 and Contest
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13322-13322	子類 ViolentContest and Contest
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1208-1208
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1633-1633
No TPTP formula. May not be expressible in strict first order.	french_format.kif 886-886
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 419-419
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 422-422
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2570-2570
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 424-424
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 458-458
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 907-907
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 423-423

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Music.kif 1082-1082	域 contestEntry, 3 and Contest
No TPTP formula. May not be expressible in strict first order.	Dining.kif 879-879	域 contestObject, 1 and Contest
No TPTP formula. May not be expressible in strict first order.	Music.kif 1063-1063	域 contestOrganizer, 1 and Contest
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19680-19680	域比賽參與者, 1 and Contest
No TPTP formula. May not be expressible in strict first order.	Music.kif 1105-1105	域 contestParticipantRepresentation, 1 and Contest
No TPTP formula. May not be expressible in strict first order.	Music.kif 1047-1047	域子類 ContestFn, 1 and Contest

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21776-21795	例 Process and 封鎖例 Contest and Contest 子過程 Process and Contest AutonomousAgent participates 在 Contest agent Process and AutonomousAgent Contest1 CognitiveAgent 防止 Contest1 and 易位例 Process and Contest1 CognitiveAgent participates 在 Contest 等於 AutonomousAgent and CognitiveAgent 慾望 CognitiveAgent and entity 例 entity and Contest1 agent entity and AutonomousAgent 子過程 entity and Contest
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13309-13320	例 Process and Contest AutonomousAgent AutonomousAgent, Formula and Formula agent Process and AutonomousAgent agent Process and AutonomousAgent 有代理人的目的 Process, Formula and AutonomousAgent 有代理人的目的 Process, Formula and AutonomousAgent 等於 AutonomousAgent and AutonomousAgent 等於 Formula and Formula

consequent

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 163-183	例 Process and 非常規戰爭 agent Process and Government 等於 Government and AutonomousAgent 等於 Government and 政府 GeopoliticalArea 患者 Process and AutonomousAgent 會員 AutonomousAgent and GeopoliticalArea 的 resident 子集合 AutonomousAgent and GeopoliticalArea 的 resident Process 例 Process and Contest agent Process and AutonomousAgent agent Process and 政府 GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17392-17402	屬性 AutonomousAgent and Attribute 例 Attribute and ContestAttribute Process 例 Process and Contest agent Process and AutonomousAgent 患者 Process and AutonomousAgent 子過程 AutonomousAgent and Process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13391-13396	例 Process and Maneuver Process 例 Process and Contest 子過程 Process and Process

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