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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - FireExtinguisher
FireExtinguisher(fire extinguisher)asphyxiator, extinguisher, fire_extinguisher

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


s__documentation(s__FireExtinguisher,s__EnglishLanguage,'"A Device used to StopFn small Fire which is possible for Human to carry"')

Mid-level-ontology.kif 23602-23603
s__instance(s__Device,s__SetOrClass)

s__instance(s__FireExtinguisher,s__SetOrClass)

s__subclass(s__FireExtinguisher,s__Device)

Mid-level-ontology.kif 23601-23601 Fire extinguisher is a subclass of device

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


s__termFormat(s__ChineseLanguage,s__FireExtinguisher,'"灭火器"')

domainEnglishFormat.kif 23925-23925
s__termFormat(s__ChineseTraditionalLanguage,s__FireExtinguisher,'"滅火器"')

domainEnglishFormat.kif 23924-23924
s__termFormat(s__EnglishLanguage,s__FireExtinguisher,'"fire extinguisher"')

domainEnglishFormat.kif 23923-23923

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


( ! [V__FE] :
   ((s__instance(V__FE,s__FireExtinguisher) =>
       (( ? [V__PERSON, V__CARRY] :
           ((s__instance(V__PERSON,s__Human) &
               s__instance(V__CARRY,s__Carrying) &
               s__patient(V__CARRY,V__FE)
             &
             s__capability(V__CARRY,s__instrument__m,V__PERSON))))))
)
)

Mid-level-ontology.kif 23613-23620
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23604-23611


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