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

Formal Language: 



KB Term:  Term intersection
English Word: 

  physicalDomain

Sigma KEE - physicalDomain
physicalDomain

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


(documentation physicalDomain EnglishLanguage "Relation that holds for pairs of physical dimensions that multiply up into a physical dimension of Power. The first is considered for across variable, the second for through variable.") engineering.kif 272-275
(domain physicalDomain 1 PhysicalDimension) engineering.kif 278-278
(domain physicalDomain 2 PhysicalDimension) engineering.kif 279-279
(domain physicalDomain 3 PhysicalDomain) engineering.kif 280-280
(instance physicalDomain TernaryPredicate) engineering.kif 276-276

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


(format EnglishLanguage physicalDomain "%1 and %2 form physical domain %3") engineering.kif 277-277
(termFormat EnglishLanguage physicalDomain "physical domain") domainEnglishFormat.kif 65901-65901

consequent
-------------------------


(=>
    (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 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