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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - WireLine
WireLine

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


(documentation WireLine EnglishLanguage "A Wire that is designed for conducting electricity.") Mid-level-ontology.kif 3623-3623
(subclass WireLine EngineeringComponent) Mid-level-ontology.kif 3622-3622 WireLineエンジニアリング部品subclass では %n
(subclass WireLine Wire) Mid-level-ontology.kif 3621-3621 WireLineWiresubclass では %n

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


(subclass TelephoneLine WireLine) Mid-level-ontology.kif 3633-3633 TelephoneLineWireLinesubclass では %n
(termFormat ChineseLanguage WireLine "电线") domainEnglishFormat.kif 63237-63237
(termFormat ChineseTraditionalLanguage WireLine "電線") domainEnglishFormat.kif 63236-63236
(termFormat EnglishLanguage WireLine "wire line") domainEnglishFormat.kif 63235-63235

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


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

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


(=>
    (instance ?C Cable)
    (exists (?WIRE)
        (and
            (instance ?WIRE WireLine)
            (part ?WIRE ?C))))
Hotel.kif 1403-1408
(=>
    (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 25919-25927
(=>
    (instance ?X TelephoneCradle)
    (hasPurpose ?X
        (exists (?SYS ?WIRE)
            (and
                (instance ?SYS TelephoneSystem)
                (instance ?WIRE WireLine)
                (connectsEngineeringComponents ?WIRE ?X ?SYS)))))
Communications.kif 64-71


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



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