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

Formal Language: 



KB Term:  Term intersection
English Word: 

  OldBaptistUnionChurch

 Sigma KEE - DepartmentOfPreventingFn
DepartmentOfPreventingFn

appearance as argument number 1
-------------------------


(documentation DepartmentOfPreventingFn EnglishLanguage "DepartmentOfPreventingFn is a funtion which returns an instance of the department of an organisation (?COMP) charged with preventing or inhibiting a class of processes (?PHYS) of a certain kind.") Mid-level-ontology.kif 18390-18392
(domain DepartmentOfPreventingFn 1 Organization) Mid-level-ontology.kif 18393-18393 Il numero 1 argomenti di DepartmentOfPreventingFn è un istanza di Organizzazione
(domainSubclass DepartmentOfPreventingFn 2 Process) Mid-level-ontology.kif 18394-18394 Il numero 2 argomento DepartmentOfPreventingFn è una sottoclasse diProcesso
(instance DepartmentOfPreventingFn BinaryFunction) Mid-level-ontology.kif 18389-18389 DepartmentOfPreventingFn è un' istanza di FunzioneBinaria
(range DepartmentOfPreventingFn Organization) Mid-level-ontology.kif 18396-18396 rango di DepartmentOfPreventingFn è un'istanza di Organizzazione
(subrelation DepartmentOfPreventingFn DepartmentOfFn) Mid-level-ontology.kif 18388-18388 DepartmentOfPreventingFn è una sottorelazione di DepartmentOfFn

appearance as argument number 2
-------------------------


(format EnglishLanguage DepartmentOfPreventingFn "%1 is %n preventing %2") Mid-level-ontology.kif 18395-18395
(termFormat EnglishLanguage DepartmentOfPreventingFn "Department of preventing fn") domainEnglishFormat.kif 64757-64757

antecedent
-------------------------


(=>
    (and
        (equal ?DEP
            (DepartmentOfPreventingFn ?COMP ?PHYS))
        (subclass ?PHYS Process)
        (subOrganization ?DEP ?COMP))
    (inhibits ?DEP ?PHYS))		 Mid-level-ontology.kif 18400-18405
(=>
    (equal ?DEP
        (DepartmentOfPreventingFn ?COMP ?PHYS))
    (not
        (desires ?COMP
            (exists (?P)
                (and
                    (instance ?P ?PHYS)
                    (involvedInEvent ?P ?COMP))))))		 Mid-level-ontology.kif 18407-18414


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