WireLine(wire line) |
appearance as argument number 1 |
(documentation WireLine EnglishLanguage "A Wire that is designed for conducting electricity.") | Mid-level-ontology.kif 3616-3616 | |
(subclass WireLine EngineeringComponent) | Mid-level-ontology.kif 3615-3615 | Wire line is a subclass of engineering component |
(subclass WireLine Wire) | Mid-level-ontology.kif 3614-3614 | Wire line is a subclass of wire |
appearance as argument number 2 |
(subclass TelephoneLine WireLine) | Mid-level-ontology.kif 3626-3626 | Telephone line is a subclass of wire line |
(termFormat ChineseLanguage WireLine "电线") | domainEnglishFormat.kif 63239-63239 | |
(termFormat ChineseTraditionalLanguage WireLine "電線") | domainEnglishFormat.kif 63238-63238 | |
(termFormat EnglishLanguage WireLine "wire line") | domainEnglishFormat.kif 63237-63237 |
antecedent |
(=> (instance ?WL WireLine) (hasPurpose ?WL (exists (?R) (and (instance ?R Radiating) (path ?R ?WL))))) |
Mid-level-ontology.kif 3618-3624 |
|
consequent |