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
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	DualGaugeRailway 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 2955-2955	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 48593-48593
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48592-48592
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48591-48591

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