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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - hasThroughVariable
hasThroughVariable

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


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

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


(format EnglishLanguage hasThroughVariable "%1 has %n %2 as a through variable") engineering.kif 411-411
(termFormat ChineseLanguage hasThroughVariable "有通过变量") domainEnglishFormat.kif 27564-27564
(termFormat ChineseTraditionalLanguage hasThroughVariable "有通過變量") domainEnglishFormat.kif 27563-27563
(termFormat EnglishLanguage hasThroughVariable "has through variable") domainEnglishFormat.kif 27562-27562

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 415-424


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