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 302-302
(domain hasVariable 1 MultipoleQuantity) engineering.kif 306-306 Le nombre 1 argument de hasVariable est une instance de MultipoleQuantity
(domain hasVariable 2 MultipoleVariable) engineering.kif 307-307 Le nombre 2 argument de hasVariable est une instance de MultipoleVariable
(instance hasVariable BinaryPredicate) engineering.kif 304-304 hasVariable est une instance de pr�dicat binaire
(instance hasVariable SingleValuedRelation) engineering.kif 303-303 hasVariable est une instance de relation simple

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


(format EnglishLanguage hasVariable "%1 has %n variable %2") engineering.kif 305-305
(termFormat ChineseLanguage hasVariable "有变数") domainEnglishFormat.kif 27570-27570
(termFormat ChineseTraditionalLanguage hasVariable "有變數") domainEnglishFormat.kif 27569-27569
(termFormat EnglishLanguage hasVariable "has variable") domainEnglishFormat.kif 27568-27568

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