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

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


(subclass TelephoneLine WireLine) Mid-level-ontology.kif 4076-4076 TelephoneLine est une sous-classe de WireLine
(termFormat ChineseLanguage WireLine "电线") domainEnglishFormat.kif 63231-63231 TelephoneLine est une sous-classe de WireLine
(termFormat ChineseTraditionalLanguage WireLine "電線") domainEnglishFormat.kif 63230-63230 TelephoneLine est une sous-classe de WireLine
(termFormat EnglishLanguage WireLine "wire line") domainEnglishFormat.kif 63229-63229 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 4068-4074

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


(=>
    (instance ?C Cable)
    (exists (?WIRE)
        (and
            (instance ?WIRE WireLine)
            (part ?WIRE ?C))))		 Hotel.kif 1414-1419
(=>
    (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 27817-27825
(=>
    (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