|
|
   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 18096-18096 | |
| (subclass Saw CuttingDevice) | Mid-level-ontology.kif 18095-18095 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Saw "锯") | domainEnglishFormat.kif 51411-51411 | |
| (termFormat ChineseTraditionalLanguage Saw "鋸") | domainEnglishFormat.kif 51410-51410 | |
| (termFormat EnglishLanguage Saw "saw") | domainEnglishFormat.kif 51409-51409 |
| 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 18098-18132 |
|
|
|