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

Formal Language: 



KB Term:  Term intersection
English Word: 

  hasThroughVariable

Sigma KEE - hasThroughVariable
hasThroughVariable

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


(documentation hasThroughVariable EnglishLanguage "multipole pole has through variable") engineering.kif 406-406
(domain hasThroughVariable 1 MultipolePole) engineering.kif 409-409
(domain hasThroughVariable 2 MultipoleVariable) engineering.kif 410-410
(instance hasThroughVariable AsymmetricRelation) engineering.kif 407-407

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


(format EnglishLanguage hasThroughVariable "%1 has %n %2 as a through variable") engineering.kif 408-408
(termFormat ChineseLanguage hasThroughVariable "有通过变量") domainEnglishFormat.kif 27550-27550
(termFormat ChineseTraditionalLanguage hasThroughVariable "有通過變量") domainEnglishFormat.kif 27549-27549
(termFormat EnglishLanguage hasThroughVariable "has through variable") domainEnglishFormat.kif 27548-27548

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


(=>
    (and
        (hasAcrossVariable ?POLE ?ACROSS)
        (hasThroughVariable ?POLE ?THROUGH)
        (hasVariable ?QACROSS ?ACROSS)
        (hasVariable ?QTHROUGH ?THROUGH)
        (hasDimension ?QACROSS ?DACROSS)
        (hasDimension ?QTHROUGH ?DTHROUGH))
    (exists (?DOMAIN)
        (physicalDomain ?DACROSS ?DTHROUGH ?DOMAIN)))
engineering.kif 412-421


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