TreeView Knowledge Base Browser - TrackGauge

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - TrackGauge

TrackGauge(track gauge)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 384-389
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10299-10299
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10219-10219
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 383-383	Track gauge is a subclass of internal attribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 399-399	Broad gauge is an instance of track gauge
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 464-464	Dual gauge railway is an instance of track gauge
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 447-447	Narrow gauge is an instance of track gauge
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 415-415	Standard gauge is an instance of track gauge
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48628-48628
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48627-48627
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48626-48626

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