UnsurfacedRoadway
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 636-637 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1278-1278 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 635-635 | Unsurfaced roadway is a subclass of roadway |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 643-643 | Surfaced roadway is disjoint from unsurfaced roadway |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60590-60590 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60589-60589 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60588-60588 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 639-641 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 601-608 | A length measure is a length of unpaved highway 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 610-618 |
|