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 The number 1 argument of has through variable is an instance of multipole pole
(domain hasThroughVariable 2 MultipoleVariable) engineering.kif 413-413 The number 2 argument of has through variable is an instance of multipole variable
(instance hasThroughVariable AsymmetricRelation) engineering.kif 410-410 has through variable is an instance of asymmetric relation
(instance hasThroughVariable BinaryPredicate) engineering.kif 409-409 has through variable is an instance of binary predicate

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