Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| 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 279-282 | |
| (instance physicalDomain TernaryPredicate) | engineering.kif 283-283 | physical domain is an instance of ternary predicate |
| (domain physicalDomain 1 PhysicalDimension) | engineering.kif 285-285 | The number 1 argument of physical domain is an instance of physical dimension |
| (domain physicalDomain 2 PhysicalDimension) | engineering.kif 286-286 | The number 2 argument of physical domain is an instance of physical dimension |
| (domain physicalDomain 3 PhysicalDomain) | engineering.kif 287-287 | The number 3 argument of physical domain is an instance of physical domain |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage physicalDomain "physical domain") | domainEnglishFormat.kif 65923-65923 | |
| (format EnglishLanguage physicalDomain "%1 and %2 form physical domain %3") | engineering.kif 284-284 |
| appearance as argument number 0 |
|
|
| (physicalDomain AngularVelocity Torque Rotary) | engineering.kif 289-289 | Angular velocity and torque form physical domain rotary |
| (physicalDomain Voltage Current Electrical) | engineering.kif 290-290 | Voltage and current form physical domain electrical |
| (physicalDomain Pressure VolumeFlow FluidPower) | engineering.kif 291-291 | Pressure and volume flow form physical domain fluid power |
|