|
|
   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 18406-18406 | |
| (subclass Saw CuttingDevice) | Mid-level-ontology.kif 18405-18405 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Saw "锯") | domainEnglishFormat.kif 51439-51439 | |
| (termFormat ChineseTraditionalLanguage Saw "鋸") | domainEnglishFormat.kif 51438-51438 | |
| (termFormat EnglishLanguage Saw "saw") | domainEnglishFormat.kif 51437-51437 |
| 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 18408-18442 |
|
|
|