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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 1674-1675
(domain AttrFn 1 SetOrClass) Merge.kif 1680-1680 domain AttrFn, 1 and SetOrClass
(domain AttrFn 2 Attribute) Merge.kif 1681-1681 domain AttrFn, 2 and Attribute
(instance AttrFn BinaryFunction) Merge.kif 1677-1677 instance AttrFn and BinaryFunction
(instance AttrFn PartialValuedRelation) Merge.kif 1678-1678 instance AttrFn and PartialValuedRelation
(range AttrFn Class) Merge.kif 1679-1679 range AttrFn and Class

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 9025-9025 termFormat ChineseLanguage, AttrFn and "attr"
(termFormat ChineseTraditionalLanguage AttrFn "attr") domainEnglishFormat.kif 9024-9024 termFormat ChineseTraditionalLanguage, AttrFn and "attr"
(termFormat EnglishLanguage AttrFn "attr") domainEnglishFormat.kif 9023-9023 termFormat EnglishLanguage, AttrFn and "attr"

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


(<=>
    (instance ?X
        (AttrFn ?CLASS ?ATTR))
    (and
        (instance ?X ?CLASS)
        (property ?X ?ATTR)))
Merge.kif 1704-1709 instance Entity and AttrFn SetOrClass and Attribute instance Entity and SetOrClass property Entity and Attribute
(=>
    (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 20088-20101
(=>
    (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 20108-20121
(=>
    (equal ?X
        (AttrFn ?CLASS ?ATTR))
    (forall (?I)
        (=>
            (instance ?I ?X)
            (and
                (instance ?I ?CLASS)
                (subclass ?X ?CLASS)
                (property ?I ?ATTR)))))
Merge.kif 1683-1692

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


(<=>
    (instance ?X DifferentialEquation)
    (instance ?X
        (AttrFn Equation DifferentialAttribute)))
engineering.kif 154-156 instance Entity and DifferentialEquation instance Entity and AttrFn Equation and DifferentialAttribute
(=>
    (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 20108-20121
(=>
    (and
        (subclass ?X ?CLASS)
        (instance ?I ?X)
        (instance ?ATTR Attribute))
    (=>
        (property ?I ?ATTR)
        (equal ?X
            (AttrFn ?CLASS ?ATTR))))
Merge.kif 1694-1702
(=>
    (instance ?O OccupationalRole)
    (exists (?PCLASS)
        (typicalAction ?PCLASS
            (AttrFn CognitiveAgent ?O))))
Mid-level-ontology.kif 20082-20086


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



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners