TreeView Knowledge Base Browser - Cycle

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Cycle

Cycle(cycle)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1925-1926
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1081-1081
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1924-1924	Cycle is a subclass of agent powered vehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1923-1923	Cycle is a subclass of land vehicle

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1929-1929	Bicycle is a subclass of cycle
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18264-18264
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18263-18263
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18262-18262

consequent

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

Transportation.kif 1936-1941

If a process is an instance of cycling,
then there exists the processLE such that the processLE is an instance of cycle and the processLE is an instrument for the 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