| FireExtinguisher(fire extinguisher) | | asphyxiator, extinguisher, fire_extinguisher |
| appearance as argument number 1 |
|
|
| (documentation FireExtinguisher EnglishLanguage "A Device used to StopFn small Fire which is possible for Human to carry") | Mid-level-ontology.kif 25767-25768 | |
| (subclass FireExtinguisher Device) | Mid-level-ontology.kif 25766-25766 | Fire extinguisher is a subclass of device |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage FireExtinguisher "灭火器") | domainEnglishFormat.kif 23952-23952 | |
| (termFormat ChineseTraditionalLanguage FireExtinguisher "滅火器") | domainEnglishFormat.kif 23951-23951 | |
| (termFormat EnglishLanguage FireExtinguisher "fire extinguisher") | domainEnglishFormat.kif 23950-23950 |
| antecedent |
|
|
| (=> (instance ?FE FireExtinguisher) (exists (?PERSON) (and (instance ?PERSON Human) (capability Carrying instrument ?PERSON)))) |
Mid-level-ontology.kif 25778-25783 |
|
| (=> (instance ?FE FireExtinguisher) (hasPurpose ?FE (exists (?PROC) (and (instance ?PROC (StopFn Fire)) (instrument ?PROC ?FE))))) |
Mid-level-ontology.kif 25769-25776 |
|
|
|
|