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

Formal Language: 



KB Term:  Term intersection
English Word: 

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

appearance as argument number 0
-------------------------


(physicalDomain AngularVelocity Torque Rotary) engineering.kif 282-282
(physicalDomain Pressure VolumeFlow FluidPower) engineering.kif 284-284
(physicalDomain Velocity Force Translatory) engineering.kif 281-281
(physicalDomain Voltage Current Electrical) engineering.kif 283-283


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