TreeView Knowledge Base Browser - hasAcrossVariable

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

hasAcrossVariable

Sigma KEE - hasAcrossVariable

hasAcrossVariable

appearance as argument number 1

(documentation hasAcrossVariable EnglishLanguage "multipole pole has across variable")	engineering.kif 401-401
(domain hasAcrossVariable 1 MultipolePole)	engineering.kif 405-405	The number 1 argument of has across variable is an instance of multipole pole
(domain hasAcrossVariable 2 MultipoleVariable)	engineering.kif 406-406	The number 2 argument of has across variable is an instance of multipole variable
(instance hasAcrossVariable AsymmetricRelation)	engineering.kif 403-403	has across variable is an instance of asymmetric relation
(instance hasAcrossVariable BinaryPredicate)	engineering.kif 402-402	has across variable is an instance of binary predicate

appearance as argument number 2

(format EnglishLanguage hasAcrossVariable "%1 has %n %2 as an across variable")	engineering.kif 404-404
(termFormat ChineseLanguage hasAcrossVariable "跨变量")	domainEnglishFormat.kif 27504-27504
(termFormat ChineseTraditionalLanguage hasAcrossVariable "跨變量")	domainEnglishFormat.kif 27503-27503
(termFormat EnglishLanguage hasAcrossVariable "has across variable")	domainEnglishFormat.kif 27502-27502

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

If a multipole pole has a multipole variable as an across variable and the multipole pole has another multipole variable as a through variable and a multipole quantity has variable the multipole variable and another multipole quantity has variable the other multipole variable and the multipole quantity has dimension a physical dimension and the other multipole quantity has dimension another physical dimension,
then there exists a physical domain such that the physical dimension and the other physical dimension form physical domain the physical domain

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