Railway - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 344-348
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1229-1229	"http://upload.wikimedia.org/wikipedia/commons/thumb/ d/ d1/ 08_tory_railtrack_ubt.jpeg/ 120px-08_tory_railtrack_ubt.jpeg" is a URL depicting railway
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 342-342	Railway is a subclass of land transitway
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 343-343	Railway is a subclass of stationary artifact

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 350-350	Broad gauge railway is a subclass of railway
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 351-351	Dual gauge railway is a subclass of railway
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 355-355	Electrified railway is a subclass of railway
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 359-359	Multiple track railway is a subclass of railway
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 352-352	Narrow gauge railway is a subclass of railway
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2946-2946	Rail junction is a subclass of railway
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 353-353	Standard gauge railway is a subclass of railway
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48613-48613	"铁路" is the printable form of railway in ChineseLanguage
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48612-48612	"鐵路" is the printable form of railway in ChineseTraditionalLanguage
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48611-48611	"railway" is the printable form of railway in english language

appearance as argument number 3

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

Transportation.kif 393-393

The number 1 argument of track width is an instance of railway

antecedent

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 400-405	If a railway is an instance of railway and the railway the attribute broad gauge and a length measure is a track width of the railway, then the length measure is greater than 1.44 meter(s)
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 447-452	If a railway is an instance of railway and the railway the attribute narrow gauge and a length measure is a track width of the railway, then the length measure is less than or equal to 1.435 meter(s)
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 423-428	If a railway is an instance of railway and the railway the attribute standard gauge and a length measure is a track width of the railway, then the length measure is greater than or equal to 1.435 meter(s)
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 430-435	If a railway is an instance of railway and the railway the attribute standard gauge and a length measure is a track width of the railway, then the length measure is less than or equal to 1.44 meter(s)

consequent

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 98-105	A length measure is a total length of railway system 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 305-313	If a real number an unit of measure(s) is a length of unclassified gauge railway of a geographic area and the unit of measure is an instance of UnitOfLength and the real number is greater than 0, then there exists a physical such that the physical is an instance of railway and the physical is located at the geographic area
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 107-114	If a length measure is a total length of railway system of a geographic area and the length measure is greater than 0, then there exists a physical such that the physical is an instance of railway and the physical is located at the geographic area
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2026-2035	If a physical is an instance of rail vehicle, then the physical purpose there exist an entity and another entity such that the other entity is an instance of railway and the entity is an instance of transportation and the physical meets the other entity holds during the time of existence of the entity