inhibits - Sigma Knowledge base Browser

appearance as argument number 1

(documentation inhibits EnglishLanguage "The Agent takes actions that are intended to make instances of the Process less likely. Note that this is very general, so it is likely that practical use of this relation would involve KappaFn, say to create the class of all of a certain kind of action within a bounded time and place.")	Law.kif 187-191
(domain inhibits 1 Agent)	Law.kif 182-182	domain inhibits, 1 and Agent
(domainSubclass inhibits 2 Process)	Law.kif 183-183	domainSubclass inhibits, 2 and Process
(instance inhibits BinaryRelation)	Law.kif 181-181	instance inhibits and BinaryRelation

appearance as argument number 2

(format ChineseLanguage inhibits "%1 %n{doesn't} inhibits %2")	chinese_format.kif 215-215
(format EnglishLanguage inhibits "%1 %n{doesn't} inhibit%p{s} %2")	english_format.kif 219-219
(format EnglishLanguage inhibits "%1 inhibits %2")	Law.kif 185-185
(termFormat ChineseLanguage inhibits "抑制")	domainEnglishFormat.kif 30007-30007	termFormat ChineseLanguage, inhibits and "抑制"
(termFormat ChineseTraditionalLanguage inhibits "抑制")	domainEnglishFormat.kif 30006-30006	termFormat ChineseTraditionalLanguage, inhibits and "抑制"
(termFormat EnglishLanguage inhibits "inhibits")	domainEnglishFormat.kif 30005-30005	termFormat EnglishLanguage, inhibits and "inhibits"

antecedent

(=> (inhibits ?A ?P) (desires ?A (not (exists (?I) (instance ?I ?P)))))	Law.kif 193-198	inhibits CognitiveAgent and Process desires CognitiveAgent and entity instance entity and Process
(=> (inhibits ?A ?P) (exists (?P2) (and (agent ?P2 ?A) (hasPurposeForAgent ?P2 (not (exists (?P3) (instance ?P3 ?P))) ?A))))	Law.kif 200-209	inhibits Agent and Process Process agent Process and Agent hasPurposeForAgent Process, Process instance Process and Process and Agent

consequent

(=>
    (and
        (equal ?DEP
            (DepartmentOfPreventingFn ?COMP ?PHYS))
        (subclass ?PHYS Process))
    (inhibits ?DEP ?PHYS))

Mid-level-ontology.kif 16063-16067