inhibits - Sigma Knowledge base Browser

appearance as argument number 1

(documentation inhibits EnglishLanguage "The AutonomousAgent 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 AutonomousAgent)	Law.kif 182-182	抑制的 1 数量是施事体的 instance
(domainSubclass inhibits 2 Process)	Law.kif 183-183	抑制的 2 数量是过程的 subclass
(instance inhibits BinaryRelation)	Law.kif 181-181	抑制是二元关系的 instance

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 216-216
(format EnglishLanguage inhibits "%1 inhibits %2")	Law.kif 185-185
(termFormat ChineseLanguage inhibits "抑制")	domainEnglishFormat.kif 30085-30085
(termFormat ChineseTraditionalLanguage inhibits "抑制")	domainEnglishFormat.kif 30084-30084
(termFormat EnglishLanguage inhibits "inhibits")	domainEnglishFormat.kif 30083-30083

antecedent

(=> (inhibits ?A ?P) (desires ?A (not (exists (?I) (instance ?I ?P)))))	Law.kif 193-198	如果有认知的主事 inhibits 有点过程，然后那个有认知的主事 desires 不存在实体这样那个实体是有点过程的 instance
(=> (inhibits ?A ?P) (exists (?P2) (and (agent ?P2 ?A) (hasPurposeForAgent ?P2 (not (exists (?P3) (instance ?P3 ?P))) ?A))))	Law.kif 200-209	如果施事体 inhibits 有点过程，然后有存在有点过程2 这样那个施事体是那个有点过程2 的 agent 和那个施事体在那个有点过程2 的目的是不存在那个有点过程3 这样那个有点过程3 是那个有点过程的 instance

consequent

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

Mid-level-ontology.kif 18183-18188