No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1267-1267 |
Airport is a subclass of land transitway |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 1141-1141 |
Bowling lane is a subclass of land transitway |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1618-1618 |
Bridge is a subclass of land transitway |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 345-345 |
Railway is a subclass of land transitway |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14299-14299 |
Roadway is a subclass of land transitway |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25801-25801 |
Running track is a subclass of land transitway |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1298-1298 |
Runway is a subclass of land transitway |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1647-1647 |
Trail is a subclass of land transitway |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1630-1630 |
Tunnel is a subclass of land transitway |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 33289-33289 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 33288-33288 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 33287-33287 |
|