![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
(documentation Spitting EnglishLanguage "Any voluntary instance of Impelling where the origin is the Mouth of the agent.") | Mid-level-ontology.kif 7487-7488 | |
(subclass Spitting Impelling) | Mid-level-ontology.kif 7486-7486 |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage Spitting "吐痰") | domainEnglishFormat.kif 54658-54658 | |
(termFormat ChineseTraditionalLanguage Spitting "吐痰") | domainEnglishFormat.kif 54657-54657 | |
(termFormat EnglishLanguage Spitting "spitting") | domainEnglishFormat.kif 54656-54656 |
antecedent |
![]() |
(=> (and (instance ?SPIT Spitting) (agent ?SPIT ?ANIMAL)) (exists (?MOUTH) (and (instance ?MOUTH Mouth) (part ?MOUTH ?ANIMAL) (origin ?SPIT ?MOUTH)))) |
Mid-level-ontology.kif 7490-7498 |
consequent |
![]() |
(=> (holdsDuring ?T (attribute ?H Hypersalivation)) (modalAttribute (exists (?S) (and (experiencer ?S ?H) (during (WhenFn ?S) ?T) (or (instance ?S Spitting) (instance ?S Drooling) (instance ?S Nausea)))) Likely)) |
Medicine.kif 5335-5349 |
![]() |
![]() |