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 19931-19935
(domain inhibits 1 AutonomousAgent)	Mid-level-ontology.kif 19937-19937	inhibits の数値 1 引数は AutonomousAgent の instance では
(domainSubclass inhibits 2 Process)	Mid-level-ontology.kif 19938-19938	inhibits の数値 2 引数は工程のsubclass では
(instance inhibits BinaryPredicate)	Mid-level-ontology.kif 19936-19936	inhibits は 2進述語の 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 19940-19940
(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 "抑制")	chinese_format.kif 216-216
(termFormat ChineseTraditionalLanguage inhibits "抑制")	domainEnglishFormat.kif 30113-30113
(termFormat EnglishLanguage inhibits "inhibits")	domainEnglishFormat.kif 30112-30112
(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 19942-19947	認識エージェントは工程を inhibits {ない認識エージェントがエンティティーエンティティーは工程の instance ではを desires
(=> (inhibits ?A ?P) (exists (?P2) (and (agent ?P2 ?A) (hasPurposeForAgent ?P2 (not (exists (?P3) (instance ?P3 ?P))) ?A))))	Mid-level-ontology.kif 19949-19958	AutonomousAgent は工程を inhibits {ない工程2 AutonomousAgent は工程2 の agent では工程2 は AutonomousAgent の目的工程3 工程3 は工程の instance では

consequent

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

Mid-level-ontology.kif 19972-19977