PhysicalDimension(physical dimension) |
appearance as argument number 1 |
(documentation PhysicalDimension EnglishLanguage "A physical dimension such as length, mass, force etc.") | engineering.kif 71-72 | |
(lexicon PhysicalDimension LexNoun "physical dimension") | engineering.kif 73-73 | |
(subclass PhysicalDimension Quantity) | engineering.kif 74-74 | Physical dimension is a subclass of quantity |
appearance as argument number 2 |
appearance as argument number 3 |
(domain hasDimension 2 PhysicalDimension) | engineering.kif 300-300 | The number 2 argument of has dimension is an instance of physical dimension |
(domain physicalDomain 1 PhysicalDimension) | engineering.kif 278-278 | The number 1 argument of physical domain is an instance of physical dimension |
(domain physicalDomain 2 PhysicalDimension) | engineering.kif 279-279 | The number 2 argument of physical domain is an instance of physical dimension |