|
|
   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 17533-17533 | |
| (subclass Saw CuttingDevice) | Mid-level-ontology.kif 17532-17532 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Saw "锯") | domainEnglishFormat.kif 51382-51382 | |
| (termFormat ChineseTraditionalLanguage Saw "鋸") | domainEnglishFormat.kif 51381-51381 | |
| (termFormat EnglishLanguage Saw "saw") | domainEnglishFormat.kif 51380-51380 |
| 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 17535-17569 |
|
|
|