![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| PhysicalDimension(physical dimension) |
| appearance as argument number 1 |
|
|
| (documentation PhysicalDimension EnglishLanguage "A physical dimension such as length, mass, force etc.") | engineering.kif 70-71 | |
| (lexicon PhysicalDimension LexNoun "physical dimension") | engineering.kif 72-72 | |
| (subclass PhysicalDimension Quantity) | engineering.kif 73-73 | Physical dimension is a subclass of quantity |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (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 |