TreeView Knowledge Base Browser - OlympicGames

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - OlympicGames

OlympicGames(olympic games)

Olympiad, Olympian_Games, Olympic_Games, Olympics, Winter_Olympic_Games, Winter_Olympics

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Sports.kif 1337-1339
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1336-1336	Olympic games is a subclass of sport

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42072-42072
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42071-42071
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42070-42070

antecedent

No TPTP formula. May not be expressible in strict first order.

Sports.kif 1340-1350

If a physical is an instance of olympic games,
then there exists a time position such that the time position is an instance of winter season and the time of existence of the physical is a part of the time position or there exists another time position such that the other time position is an instance of summer season and the time of existence of the physical is a part of the other time position

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