Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  inhibits

Sigma KEE - inhibits
inhibits

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 18360-18364
(domain inhibits 1 AutonomousAgent) Mid-level-ontology.kif 18366-18366
(domainSubclass inhibits 2 Process) Mid-level-ontology.kif 18367-18367
(instance inhibits BinaryPredicate) Mid-level-ontology.kif 18365-18365

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 18369-18369
(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 18371-18376
(=>
    (inhibits ?A ?P)
    (exists (?P2)
        (and
            (agent ?P2 ?A)
            (hasPurposeForAgent ?P2
                (not
                    (exists (?P3)
                        (instance ?P3 ?P))) ?A))))
Mid-level-ontology.kif 18378-18387

consequent
-------------------------


(=>
    (and
        (equal ?DEP
            (DepartmentOfPreventingFn ?COMP ?PHYS))
        (subclass ?PHYS Process)
        (subOrganization ?DEP ?COMP))
    (inhibits ?DEP ?PHYS))
Mid-level-ontology.kif 18401-18406


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners