Saw |
appearance as argument number 1 |
(documentation Saw EnglishLanguage "A CuttingDevice that uses linear Motion of a Blade, Chain or Wire to cut.") | Mid-level-ontology.kif 18148-18148 | |
(subclass Saw CuttingDevice) | Mid-level-ontology.kif 18147-18147 | Saw は CuttingDevice の subclass では %n |
appearance as argument number 2 |
(termFormat ChineseLanguage Saw "锯") | domainEnglishFormat.kif 51399-51399 | |
(termFormat ChineseTraditionalLanguage Saw "鋸") | domainEnglishFormat.kif 51398-51398 | |
(termFormat EnglishLanguage Saw "saw") | domainEnglishFormat.kif 51397-51397 |
antecedent |
(=> (and (instance ?SAW Saw) (instance ?CUT Cutting) (instrument ?CUT ?SAW) (instance ?OBJ Object) (patient ?CUT ?OBJ)) (exists (?MOTION ?DIR1 ?DIR2 ?TIME ?T1 ?T2 ?PART) (and (instance ?MOTION Motion) (subProcess ?MOTION ?CUT) (instance ?PART CuttingDevice) (part ?PART ?SAW) (meetsSpatially ?PART ?OBJ) (patient ?MOTION ?PART) (instance ?T2 TimeInterval) (instance ?T2 TimeInterval) (equal (WhenFn ?MOTION) ?TIME) (temporalPart ?TIME ?T1) (temporalPart ?TIME ?T2) (instance ?DIR1 DirectionalAttribute) (instance ?DIR2 DirectionalAttribute) (=> (holdsDuring ?T1 (direction ?MOTION ?DIR1)) (holdsDuring ?T2 (and (direction ?MOTION ?DIR2) (or (equal ?DIR1 ?DIR2) (oppositeDirection ?DIR1 ?DIR2)) (not (and (equal ?DIR1 ?DIR2) (oppositeDirection ?DIR1 ?DIR2))))))))) |
Mid-level-ontology.kif 18150-18184 |
|