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 18147-18147 | |
(subclass Saw CuttingDevice) | Mid-level-ontology.kif 18146-18146 | 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 18149-18183 |
|