Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| maximumSpinSpeed |
| appearance as argument number 1 |
|
| (instance maximumSpinSpeed BinaryPredicate) | HouseholdAppliances.kif 1560-1560 | maximum spin speed is an instance of binary predicate |
| (instance maximumSpinSpeed SingleValuedRelation) | HouseholdAppliances.kif 1561-1561 | maximum spin speed is an instance of single valued relation |
| (instance maximumSpinSpeed PartialValuedRelation) | HouseholdAppliances.kif 1562-1562 | maximum spin speed is an instance of partial valued relation |
| (documentation maximumSpinSpeed EnglishLanguage "Highest possible frequency of a tumble spin in a TumbleDryer.") | HouseholdAppliances.kif 1563-1563 | maximum spin speed is an instance of partial valued relation |
| (domainSubclass maximumSpinSpeed 1 TumbleDryer) | HouseholdAppliances.kif 1566-1566 | The number 1 argument of maximum spin speed is a subclass of tumble dryer |
| (domain maximumSpinSpeed 2 FrequencyMeasure) | HouseholdAppliances.kif 1567-1567 | The number 2 argument of maximum spin speed is an instance of frequency measure |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage maximumSpinSpeed "maximum spin speed") | HouseholdAppliances.kif 1564-1564 |
|