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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AttrFn

 Sigma KEE - AttrFn
AttrFn

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


(documentation AttrFn EnglishLanguage "For given class and for given attribute, return a subclass of the class of object having the attribute") Merge.kif 1680-1681
(domain AttrFn 1 SetOrClass) Merge.kif 1686-1686
(domain AttrFn 2 Attribute) Merge.kif 1687-1687
(instance AttrFn BinaryFunction) Merge.kif 1683-1683
(instance AttrFn PartialValuedRelation) Merge.kif 1684-1684
(range AttrFn Class) Merge.kif 1685-1685

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


(format ChineseLanguage AttrFn "%1 跟 %2 的 attr") domainEnglishFormat.kif 220-220
(format ChineseTraditionalLanguage AttrFn "%1 跟 %2 的 attr") domainEnglishFormat.kif 219-219
(format EnglishLanguage AttrFn "the attr of %1 and %2") domainEnglishFormat.kif 218-218
(termFormat ChineseLanguage AttrFn "attr") domainEnglishFormat.kif 9029-9029
(termFormat ChineseTraditionalLanguage AttrFn "attr") domainEnglishFormat.kif 9028-9028
(termFormat EnglishLanguage AttrFn "attr") domainEnglishFormat.kif 9027-9027

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


(<=>
    (instance ?X
        (AttrFn ?CLASS ?ATTR))
    (and
        (instance ?X ?CLASS)
        (property ?X ?ATTR)))		 Merge.kif 1710-1715
(=>
    (and
        (instance ?O OccupationalRole)
        (typicalAction ?PCLASS
            (AttrFn CognitiveAgent ?O)))
    (exists (?X ?T ?P ?PT)
        (and
            (instance ?X CognitiveAgent)
            (holdsDuring ?T
                (attribute ?X ?O))
            (instance ?P ?PCLASS)
            (agent ?X ?P)
            (time ?P ?PT)
            (temporalPart ?PT ?T))))		 Mid-level-ontology.kif 20131-20144
(=>
    (and
        (instance ?OCCD OccupationalDomain)
        (instance ?X
            (AttrFn CognitiveAgent ?OCCD)))
    (exists (?PCLASS)
        (and
            (typicalAction ?PCLASS
                (AttrFn CognitiveAgent ?OCCD))
            (hasPurpose ?X
                (exists (?P)
                    (and
                        (instance ?P ?PCLASS)
                        (agent ?X ?P)))))))		 Mid-level-ontology.kif 20151-20164
(=>
    (equal ?X
        (AttrFn ?CLASS ?ATTR))
    (forall (?I)
        (=>
            (instance ?I ?X)
            (and
                (instance ?I ?CLASS)
                (subclass ?X ?CLASS)
                (property ?I ?ATTR)))))		 Merge.kif 1689-1698

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


(<=>
    (instance ?X DifferentialEquation)
    (instance ?X
        (AttrFn Equation DifferentialAttribute)))		 engineering.kif 154-156
(=>
    (and
        (instance ?OCCD OccupationalDomain)
        (instance ?X
            (AttrFn CognitiveAgent ?OCCD)))
    (exists (?PCLASS)
        (and
            (typicalAction ?PCLASS
                (AttrFn CognitiveAgent ?OCCD))
            (hasPurpose ?X
                (exists (?P)
                    (and
                        (instance ?P ?PCLASS)
                        (agent ?X ?P)))))))		 Mid-level-ontology.kif 20151-20164
(=>
    (and
        (subclass ?X ?CLASS)
        (instance ?I ?X)
        (instance ?ATTR Attribute))
    (=>
        (property ?I ?ATTR)
        (equal ?X
            (AttrFn ?CLASS ?ATTR))))		 Merge.kif 1700-1708
(=>
    (instance ?O OccupationalRole)
    (exists (?PCLASS)
        (typicalAction ?PCLASS
            (AttrFn CognitiveAgent ?O))))		 Mid-level-ontology.kif 20125-20129


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