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 the argument having the attribute") Merge.kif 1711-1712
(domain AttrFn 2 Attribute) Merge.kif 1718-1718
(domainSubclass AttrFn 1 Object) Merge.kif 1717-1717
(instance AttrFn BinaryFunction) Merge.kif 1714-1714
(instance AttrFn PartialValuedRelation) Merge.kif 1715-1715
(rangeSubclass AttrFn Object) Merge.kif 1716-1716

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 9021-9021
(termFormat ChineseTraditionalLanguage AttrFn "attr") domainEnglishFormat.kif 9020-9020
(termFormat EnglishLanguage AttrFn "attr") domainEnglishFormat.kif 9019-9019

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


(=>
    (and
        (equal ?X
            (AttrFn ?CLASS ?ATTR))
        (instance ?I ?X))
    (and
        (instance ?I ?CLASS)
        (subclass ?X ?CLASS)
        (attribute ?I ?ATTR)))
Merge.kif 1720-1728
(=>
    (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 21736-21749
(=>
    (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 21756-21769
(=>
    (instance ?X
        (AttrFn ?CLASS ?ATTR))
    (and
        (instance ?X ?CLASS)
        (attribute ?X ?ATTR)))
Merge.kif 1730-1735

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 21756-21769
(=>
    (and
        (instance ?X ?CLASS)
        (attribute ?X ?ATTR))
    (instance ?X
        (AttrFn ?CLASS ?ATTR)))
Merge.kif 1737-1742
(=>
    (instance ?O OccupationalRole)
    (exists (?PCLASS)
        (typicalAction ?PCLASS
            (AttrFn CognitiveAgent ?O))))
Mid-level-ontology.kif 21730-21734


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