Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  WireLine

Sigma KEE - WireLine
WireLine

appearance as argument number 1
-------------------------


(documentation WireLine EnglishLanguage "A Wire that is designed for conducting electricity.") Mid-level-ontology.kif 3556-3556
(subclass WireLine EngineeringComponent) Mid-level-ontology.kif 3555-3555
(subclass WireLine Wire) Mid-level-ontology.kif 3554-3554

appearance as argument number 2
-------------------------


(subclass TelephoneLine WireLine) Mid-level-ontology.kif 3566-3566
(termFormat ChineseLanguage WireLine "电线") domainEnglishFormat.kif 63204-63204
(termFormat ChineseTraditionalLanguage WireLine "電線") domainEnglishFormat.kif 63203-63203
(termFormat EnglishLanguage WireLine "wire line") domainEnglishFormat.kif 63202-63202

antecedent
-------------------------


(=>
    (instance ?WL WireLine)
    (hasPurpose ?WL
        (exists (?R)
            (and
                (instance ?R Radiating)
                (path ?R ?WL)))))
Mid-level-ontology.kif 3558-3564

consequent
-------------------------


(=>
    (instance ?C Cable)
    (exists (?WIRE)
        (and
            (instance ?WIRE WireLine)
            (part ?WIRE ?C))))
Hotel.kif 1368-1373
(=>
    (instance ?X CordedTelephone)
    (exists (?HANDSET ?CRADLE ?WIRE)
        (and
            (instance ?HANDSET TelephoneHandset)
            (instance ?CRADLE TelephoneCradle)
            (part ?HANDSET ?X)
            (part ?CRADLE ?X)
            (instance ?WIRE WireLine)
            (connectsEngineeringComponents ?WIRE ?HANDSET ?CRADLE))))
Communications.kif 78-87
(=>
    (instance ?X CordlessTelephone)
    (exists (?HANDSET ?CRADLE)
        (and
            (instance ?HANDSET TelephoneHandset)
            (instance ?CRADLE TelephoneCradle)
            (part ?HANDSET ?X)
            (part ?CRADLE ?X)
            (not
                (exists (?WIRE)
                    (and
                        (instance ?WIRE WireLine)
                        (connectsEngineeringComponents ?WIRE ?HANDSET ?CRADLE)))))))
Communications.kif 95-107
(=>
    (instance ?X ElectricalOutlet)
    (hasPurpose ?X
        (exists (?POWER ?WIRE)
            (and
                (instance ?POWER PowerSource)
                (instance ?WIRE Collection)
                (memberType ?WIRE WireLine)
                (connectsEngineeringComponents ?WIRE ?X ?POWER)))))
Mid-level-ontology.kif 24324-24332
(=>
    (instance ?X TelephoneCradle)
    (hasPurpose ?X
        (exists (?SYS ?WIRE)
            (and
                (instance ?SYS TelephoneSystem)
                (instance ?WIRE WireLine)
                (connectsEngineeringComponents ?WIRE ?X ?SYS)))))
Communications.kif 64-71


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners