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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - hasVariable
hasVariable

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


(documentation hasVariable EnglishLanguage "multipole quantity has certain variable") engineering.kif 301-301
(domain hasVariable 1 MultipoleQuantity) engineering.kif 305-305 The number 1 argument of has variable is an instance of multipole quantity
(domain hasVariable 2 MultipoleVariable) engineering.kif 306-306 The number 2 argument of has variable is an instance of multipole variable
(instance hasVariable BinaryPredicate) engineering.kif 303-303 has variable is an instance of binary predicate
(instance hasVariable SingleValuedRelation) engineering.kif 302-302 has variable is an instance of single valued relation

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


(format EnglishLanguage hasVariable "%1 has %n variable %2") engineering.kif 304-304
(termFormat ChineseLanguage hasVariable "有变数") domainEnglishFormat.kif 27493-27493
(termFormat ChineseTraditionalLanguage hasVariable "有變數") domainEnglishFormat.kif 27492-27492
(termFormat EnglishLanguage hasVariable "has variable") domainEnglishFormat.kif 27491-27491

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 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners