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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - KnockLight
KnockLight(knock light)

appearance as argument number 1
-------------------------


s__documentation(s__KnockLight,s__EnglishLanguage,'"KnockLight is a type of Device that hasPurpose to flash light when a door knock is made. It is used by the hearing impaired"')

Mid-level-ontology.kif 23947-23948
s__instance(s__Device,s__SetOrClass)

s__subclass(s__KnockLight,s__Device)

s__instance(s__KnockLight,s__SetOrClass)

Mid-level-ontology.kif 23946-23946 Knock light is a subclass of device

appearance as argument number 2
-------------------------


s__termFormat(s__EnglishLanguage,s__KnockLight,'"knock light"')

Mid-level-ontology.kif 23949-23949

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23970-23982
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23951-23968


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



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