WireLine(电线) |
appearance as argument number 1 |
![]() |
(documentation WireLine EnglishLanguage "A Wire that is designed for conducting electricity.") | Mid-level-ontology.kif 3588-3588 | |
(subclass WireLine EngineeringComponent) | Mid-level-ontology.kif 3587-3587 | 电线 是 工程组件 的 subclass |
(subclass WireLine Wire) | Mid-level-ontology.kif 3586-3586 | 电线 是 线 的 subclass |
appearance as argument number 2 |
![]() |
(subclass TelephoneLine WireLine) | Mid-level-ontology.kif 3598-3598 | 电话线 是 电线 的 subclass |
(termFormat ChineseLanguage WireLine "电线") | domainEnglishFormat.kif 63207-63207 | |
(termFormat ChineseTraditionalLanguage WireLine "電線") | domainEnglishFormat.kif 63206-63206 | |
(termFormat EnglishLanguage WireLine "wire line") | domainEnglishFormat.kif 63205-63205 |
antecedent |
![]() |
(=> (instance ?WL WireLine) (hasPurpose ?WL (exists (?R) (and (instance ?R Radiating) (path ?R ?WL))))) |
Mid-level-ontology.kif 3590-3596 |
consequent |
![]() |
![]() |
![]() |