FireExtinguisher | ![]() |
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 23435-23435 | |
(subclass FireExtinguisher Device) | Mid-level-ontology.kif 23434-23434 |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage FireExtinguisher "灭火器") | domainEnglishFormat.kif 23932-23932 | |
(termFormat ChineseTraditionalLanguage FireExtinguisher "滅火器") | domainEnglishFormat.kif 23931-23931 | |
(termFormat EnglishLanguage FireExtinguisher "fire extinguisher") | domainEnglishFormat.kif 23930-23930 |
antecedent |
![]() |
(=> (instance ?FE FireExtinguisher) (exists (?PERSON ?CARRY) (and (instance ?PERSON Human) (instance ?CARRY Carrying) (patient ?CARRY ?FE) (capability ?CARRY instrument ?PERSON)))) |
Mid-level-ontology.kif 23445-23452 | |
(=> (instance ?FE FireExtinguisher) (hasPurpose ?FE (exists (?PROC) (and (instance ?PROC (StopFn Fire)) (instrument ?PROC ?FE))))) |
Mid-level-ontology.kif 23436-23443 |
![]() |
![]() |