SecondaryHighway
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1643-1643 | SecondaryHighway est une sous-classe de Roadway |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 51773-51773 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 51772-51772 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 51771-51771 |