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 3616-3616
(subclass WireLine EngineeringComponent) Mid-level-ontology.kif 3615-3615 WireLine est une sous-classe de composant d'un appareil
(subclass WireLine Wire) Mid-level-ontology.kif 3614-3614 WireLine est une sous-classe de Wire

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


(subclass TelephoneLine WireLine) Mid-level-ontology.kif 3626-3626 TelephoneLine est une sous-classe de WireLine
(termFormat ChineseLanguage WireLine "电线") domainEnglishFormat.kif 63262-63262 TelephoneLine est une sous-classe de WireLine
(termFormat ChineseTraditionalLanguage WireLine "電線") domainEnglishFormat.kif 63261-63261 TelephoneLine est une sous-classe de WireLine
(termFormat EnglishLanguage WireLine "wire line") domainEnglishFormat.kif 63260-63260 TelephoneLine est une sous-classe de WireLine

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


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

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 26215-26223
(=>
    (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