TreeView Knowledge Base Browser

appearance as argument number 1

(documentation hasDimension EnglishLanguage "multipole quantity has certain dimension")	engineering.kif 295-295
(domain hasDimension 1 MultipoleQuantity)	engineering.kif 299-299	Die Zahl 1 Argument von hasDimension ist ein fall von MultipoleQuantity %n{nicht}
(domain hasDimension 2 PhysicalDimension)	engineering.kif 300-300	Die Zahl 2 Argument von hasDimension ist ein fall von PhysicalDimension %n{nicht}
(instance hasDimension BinaryPredicate)	engineering.kif 297-297	hasDimension ist ein fall von BinaryPredicate %n{nicht}
(instance hasDimension SingleValuedRelation)	engineering.kif 296-296	hasDimension ist ein fall von SingleValuedRelation %n{nicht}

appearance as argument number 2

(format EnglishLanguage hasDimension "%1 has %n dimension %2")	engineering.kif 298-298
(termFormat ChineseLanguage hasDimension "有维度")	domainEnglishFormat.kif 27516-27516
(termFormat ChineseTraditionalLanguage hasDimension "有維度")	domainEnglishFormat.kif 27515-27515
(termFormat EnglishLanguage hasDimension "has dimension")	domainEnglishFormat.kif 27514-27514

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