Throwing - Sigma Knowledge base Browser

antecedent

(=>
    (instance ?THROW Throwing)
    (exists (?ARM)
        (and
            (instance ?ARM Arm)
            (instrument ?THROW ?ARM))))

If X is an instance of throwing, then there exists Y such that Y is an instance of arm and Y is an instrument for X

consequent

(=> (instance ?S Spear) (capability Throwing instrument ?S))	Mid-level-ontology.kif 1220-1222	If X is an instance of spear, then X is capable of doing throwing as a instrument
(=> (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 854-867	If X is an instance of football pass, then All of the following hold: (1) there exist Y, Z,, , W,, , V (2) U such that Y is a subprocess of X (3) Y is an instance of throwing (4) V is an agent of Y (5) Y ends up at U (6) Z is a patient of Y (7) Z is an instance of foot ball (8) W is an instance of sports team (9) V is a member of W (10) U is a member of W (11) equal V (12) U

(subclass Throwing Impelling)	Mid-level-ontology.kif 18696-18696	Throwing is a subclass of impelling
(subclass Throwing BodyMotion)	Mid-level-ontology.kif 18697-18697	Throwing is a subclass of body motion
(documentation Throwing EnglishLanguage "Any instance of Impelling where the instrument is an Arm.")	Mid-level-ontology.kif 18698-18699	Throwing is a subclass of body motion
(externalImage Throwing "http://upload.wikimedia.org/wikipedia/commons/a/ a5/ Javelin.jpg")	pictureList.kif 3009-3009	Throwing is a subclass of body motion

(subclass Pitching Throwing)	Mid-level-ontology.kif 18708-18708	Pitching is a subclass of throwing
(subclass HandGrenadeAttack Throwing)	Mid-level-ontology.kif 24150-24150	Hand grenade attack is a subclass of throwing
(termFormat EnglishLanguage Throwing "throwing")	domainEnglishFormat.kif 57943-57943	Hand grenade attack is a subclass of throwing
(termFormat ChineseTraditionalLanguage Throwing "投擲")	domainEnglishFormat.kif 57944-57944	Hand grenade attack is a subclass of throwing
(termFormat ChineseLanguage Throwing "投掷")	domainEnglishFormat.kif 57945-57945	Hand grenade attack is a subclass of throwing