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

Formal Language: 



KB Term:  Term intersection
English Word: 

  WireLine

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 3558-3558
s__subclass(s__WireLine,s__EngineeringComponent)

s__instance(s__WireLine,s__SetOrClass)

s__instance(s__EngineeringComponent,s__SetOrClass)

Mid-level-ontology.kif 3557-3557 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 3556-3556 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 3568-3568 Telephone line is a subclass of wire line
s__termFormat(s__ChineseLanguage,s__WireLine,'"电线"')

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

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

domainEnglishFormat.kif 63202-63202

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


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

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 1381-1386
( ! [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 24956-24964
No TPTP formula. May not be expressible in strict first order. 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