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.")	Mid-level-ontology.kif 18387-18391
(domain inhibits 1 AutonomousAgent)	Mid-level-ontology.kif 18393-18393	抑制的 1 数量是施事体的 instance
(domainSubclass inhibits 2 Process)	Mid-level-ontology.kif 18394-18394	抑制的 2 数量是过程的 subclass
(instance inhibits BinaryPredicate)	Mid-level-ontology.kif 18392-18392	抑制是二元谓语的 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")	Mid-level-ontology.kif 18396-18396
(format FrenchLanguage inhibits "%1 %n{n'} inhibe %n{pas} %2")	french_format.kif 127-127
(format ItalianLanguage inhibits "%1 inibisce %2")	relations-it.txt 144-144
(format JapaneseLanguage inhibits "%1 は %2 を inhibit%p{s} %n{ない")	japanese_format.kif 1956-1956
(format PortugueseLanguage inhibits "%1 %n{nao} inhibe %n %2")	portuguese_format.kif 79-79
(format de inhibits "%1 hemmt %2")	relations-de.txt 278-278
(format hi inhibits "%1 %2 ko rokataa hai")	relations-hindi.txt 183-183
(format ro inhibits "%1 %n{nu} inhibit%t{inhibã} %2")	relations-ro.kif 146-146
(format sv inhibits "%1 hämmar %n{inte} %2")	relations-sv.txt 132-132
(format tg inhibits "%1 ay pipigilin %2")	relations-tg.txt 292-292
(termFormat ChineseLanguage inhibits "抑制")	domainEnglishFormat.kif 30103-30103
(termFormat ChineseTraditionalLanguage inhibits "抑制")	domainEnglishFormat.kif 30102-30102
(termFormat EnglishLanguage inhibits "inhibits")	domainEnglishFormat.kif 30101-30101
(termFormat de inhibits "hemmt")	terms-de.txt 89-89
(termFormat tg inhibits "pipigilin")	relations-tg.txt 293-293

antecedent

(=> (inhibits ?A ?P) (desires ?A (not (exists (?I) (instance ?I ?P)))))	Mid-level-ontology.kif 18398-18403	如果有认知的主事 inhibits 有点过程，然后那个有认知的主事 desires 不存在实体这样那个实体是有点过程的 instance
(=> (inhibits ?A ?P) (exists (?P2) (and (agent ?P2 ?A) (hasPurposeForAgent ?P2 (not (exists (?P3) (instance ?P3 ?P))) ?A))))	Mid-level-ontology.kif 18405-18414	如果施事体 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 18428-18433