TreeView Knowledge Base Browser - MultipleTrackRailway

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

MultipleTrackRailway

Sigma KEE - MultipleTrackRailway

MultipleTrackRailway(multiple track railway)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 363-366
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 362-362	Multiple track railway is a subclass of railway

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39192-39192
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39191-39191
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39190-39190

antecedent

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

Transportation.kif 368-376

If an object is an instance of multiple track railway,
then there exist another object and a third object such that the other object is an instance of railroad track and the third object is an instance of railroad track and the other object is not equal to the third object and the other object is a part of the object and the third object is a part of the object

consequent

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 154-161	A length measure is a length of multiple track railway of a geographic area if and only if the length of the class described by a symbolic string is the length measure
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 163-171	If a real number mile(s) is a length of multiple track railway of a geographic area and the real number is greater than 0, then there exists a physical such that the physical is an instance of multiple track railway and the physical is located at the geographic area

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