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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - WireLine
WireLine(wire line)

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


s__documentation(s__WireLine,s__EnglishLanguage,'"A Wire that is designed for conducting electricity."')

Mid-level-ontology.kif 3556-3556
s__subclass(s__WireLine,s__EngineeringComponent)

s__instance(s__WireLine,s__SetOrClass)

s__instance(s__EngineeringComponent,s__SetOrClass)

Mid-level-ontology.kif 3555-3555 Wire line is a subclass of engineering component
s__subclass(s__WireLine,s__Wire)

s__instance(s__Wire,s__SetOrClass)

s__instance(s__WireLine,s__SetOrClass)

Mid-level-ontology.kif 3554-3554 Wire line is a subclass of wire

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


s__subclass(s__TelephoneLine,s__WireLine)

s__instance(s__WireLine,s__SetOrClass)

s__instance(s__TelephoneLine,s__SetOrClass)

Mid-level-ontology.kif 3566-3566 Telephone line is a subclass of wire line
s__termFormat(s__ChineseLanguage,s__WireLine,'"电线"')

domainEnglishFormat.kif 63203-63203
s__termFormat(s__ChineseTraditionalLanguage,s__WireLine,'"電線"')

domainEnglishFormat.kif 63202-63202
s__termFormat(s__EnglishLanguage,s__WireLine,'"wire line"')

domainEnglishFormat.kif 63201-63201

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3558-3564

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


( ! [V__C] :
   ((s__instance(V__C,s__Cable) =>
       (( ? [V__WIRE] :
           ((s__instance(V__WIRE,s__WireLine) &
               s__part(V__WIRE,V__C))))))
   )
)

Hotel.kif 1368-1373
( ! [V__X] :
   ((s__instance(V__X,s__CordedTelephone) =>
       (( ? [V__HANDSET, V__CRADLE, V__WIRE] :
           ((s__instance(V__HANDSET,s__TelephoneHandset) &
               s__instance(V__CRADLE,s__TelephoneCradle) &
               s__part(V__HANDSET,V__X)
             &
             s__part(V__CRADLE,V__X)
           &
           s__instance(V__WIRE,s__WireLine) &
           s__connectsEngineeringComponents(V__WIRE,V__HANDSET,V__CRADLE))))))
)
)

Communications.kif 78-87
( ! [V__X] :
   ((s__instance(V__X,s__CordlessTelephone) =>
       (( ? [V__HANDSET, V__CRADLE] :
           ((s__instance(V__HANDSET,s__TelephoneHandset) &
               s__instance(V__CRADLE,s__TelephoneCradle) &
               s__part(V__HANDSET,V__X)
             &
             s__part(V__CRADLE,V__X)
           &
           ~(( ? [V__WIRE] :
               ((s__instance(V__WIRE,s__WireLine) &
                   s__connectsEngineeringComponents(V__WIRE,V__HANDSET,V__CRADLE))))))))))
)
)

Communications.kif 95-107
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24048-24056
No TPTP formula. May not be expressible in strict first order. 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