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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - AMFMAlarmClock

appearance as argument number 1

(defaultMaximumHeight AMFMAlarmClock
    (MeasureFn 6 Inch))
DimensioningAmenities.kif 545-545
(defaultMaximumLength AMFMAlarmClock
    (MeasureFn 7 Inch))
DimensioningAmenities.kif 549-549
(defaultMaximumMeasure AMFMAlarmClock
    (MeasureFn 4 PoundMass))
DimensioningAmenities.kif 551-551
(defaultMaximumWidth AMFMAlarmClock
    (MeasureFn 11 Inch))
DimensioningAmenities.kif 547-547
(defaultMinimumHeight AMFMAlarmClock
    (MeasureFn 2 Inch))
DimensioningAmenities.kif 544-544
(defaultMinimumLength AMFMAlarmClock
    (MeasureFn 3 Inch))
DimensioningAmenities.kif 548-548
(defaultMinimumMeasure AMFMAlarmClock
    (MeasureFn 1 PoundMass))
DimensioningAmenities.kif 550-550
(defaultMinimumWidth AMFMAlarmClock
    (MeasureFn 4 Inch))
DimensioningAmenities.kif 546-546
(documentation AMFMAlarmClock EnglishLanguage "AMFMAlarmClock is a type of AlarmClock that is also a RadioReceiver, meaning it can get RadioBroadcast from RadioStation") Mid-level-ontology.kif 23055-23056
(subclass AMFMAlarmClock AlarmClock) Mid-level-ontology.kif 23053-23053
(subclass AMFMAlarmClock RadioReceiver) Mid-level-ontology.kif 23054-23054

appearance as argument number 2

(termFormat EnglishLanguage AMFMAlarmClock "am / fm alarm clock") Mid-level-ontology.kif 23057-23057

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners