| Throwing
| |
| appearance as argument number 1 |
|
|
| (documentation Throwing EnglishLanguage "Any instance of Impelling where the instrument is an Arm.") | Mid-level-ontology.kif 17363-17364 | |
| (externalImage Throwing "http://upload.wikimedia.org/wikipedia/commons/a/ a5/ Javelin.jpg") | pictureList.kif 3009-3009 | |
| (subclass Throwing BodyMotion) | Mid-level-ontology.kif 17362-17362 | |
| (subclass Throwing Impelling) | Mid-level-ontology.kif 17361-17361 |
| appearance as argument number 2 |
|
|
| (subclass Pitching Throwing) | Mid-level-ontology.kif 17373-17373 | |
| (termFormat ChineseLanguage Throwing "投掷") | domainEnglishFormat.kif 57978-57978 | |
| (termFormat ChineseTraditionalLanguage Throwing "投擲") | domainEnglishFormat.kif 57977-57977 | |
| (termFormat EnglishLanguage Throwing "throwing") | domainEnglishFormat.kif 57976-57976 |
| antecedent |
|
|
| (=> (instance ?THROW Throwing) (exists (?ARM) (and (instance ?ARM Arm) (instrument ?THROW ?ARM)))) |
Mid-level-ontology.kif 17366-17371 |
| consequent |
|
|
| (=> (instance ?PASS FootballPass) (exists (?THROW ?B ?TEAM ?M1 ?M2) (and (subProcess ?THROW ?PASS) (instance ?THROW Throwing) (agent ?THROW ?M1) (destination ?THROW ?M2) (patient ?THROW ?B) (instance ?B Football) (instance ?TEAM SportsTeam) (member ?M1 ?TEAM) (member ?M2 ?TEAM) (not (equal ?M1 ?M2))))) |
Sports.kif 828-841 |
|
|
|