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 271-274
(domain physicalDomain 1 PhysicalDimension) engineering.kif 277-277
(domain physicalDomain 2 PhysicalDimension) engineering.kif 278-278
(domain physicalDomain 3 PhysicalDomain) engineering.kif 279-279
(instance physicalDomain TernaryPredicate) engineering.kif 275-275

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


(format EnglishLanguage physicalDomain "%1 and %2 form physical domain %3") engineering.kif 276-276

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 412-421

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