| 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 18175-18175 | |
| (subclass Saw CuttingDevice) | Mid-level-ontology.kif 18174-18174 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Saw "锯") | domainEnglishFormat.kif 51401-51401 | |
| (termFormat ChineseTraditionalLanguage Saw "鋸") | domainEnglishFormat.kif 51400-51400 | |
| (termFormat EnglishLanguage Saw "saw") | domainEnglishFormat.kif 51399-51399 |
| 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 18177-18211 |
|
|
|