TreeView Knowledge Base Browser

appearance as argument number 1

(documentation AlarmClock EnglishLanguage "AlarmClock is a type of Clock that will radiate sound when a certain time is set")	Mid-level-ontology.kif 25525-25526
(subclass AlarmClock Clock)	Mid-level-ontology.kif 25524-25524	AlarmClock ist eine teilkategorie von Clock

appearance as argument number 2

(subclass AMFMAlarmClock AlarmClock)	Mid-level-ontology.kif 25545-25545	AMFMAlarmClock ist eine teilkategorie von AlarmClock
(termFormat EnglishLanguage AlarmClock "alarm clock")	Mid-level-ontology.kif 25527-25527

antecedent

(=>
    (instance ?AC AlarmClock)
    (hasPurpose ?AC
        (exists (?TIME ?M ?Q)
            (and
                (instance ?M Measuring)
                (agent ?M ?AC)
                (result ?M ?Q)
                (equal ?Q ?TIME)
                (holdsDuring
                    (WhenFn ?M)
                    (exists (?S)
                        (and
                            (instance ?S RadiatingSound)
                            (agent ?S ?AC))))))))

Mid-level-ontology.kif 25529-25543

Wenn Physical ist ein fall von AlarmClock %n{nicht},
dann ** Physical hat Zweck von es gibt entity, ** entity, and und ** entity um ** ** entity ist ein fall von Measuring %n{nicht} und ** ** entity ist der agent von ** Physical %n{nicht} und ** ** entity ist ein resultat von ** ** entity %n{nicht} und ** ** entity ist gleich ** entity %n{nicht} und es gibt ** entity um ** ** entity ist ein fall von RadiatingSound %n{nicht} und ** ** entity ist der agent von ** Physical %n{nicht} haelt waehrend die zeit des Bestehens von ** ** entity %n{nicht} %n{nicht}

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 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: