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 the argument having the attribute") Merge.kif 1764-1765
(documentation AttrFn JapaneseLanguage "指定されたクラスと指定された属性の場合、属性を持つオブ ジェクトのクラスのサブクラスを返す。") japanese_format.kif 326-327
(domain AttrFn 2 Attribute) Merge.kif 1771-1771 域 attr, 2 and Attribute
(domainSubclass AttrFn 1 Object) Merge.kif 1770-1770 域子類 attr, 1 and Object
(instance AttrFn BinaryFunction) Merge.kif 1767-1767 例 attr and BinaryFunction
(instance AttrFn PartialValuedRelation) Merge.kif 1768-1768 例 attr and PartialValuedRelation
(rangeSubclass AttrFn Object) Merge.kif 1769-1769 範圍子類 attr and Object

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

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


(=>
    (and
        (equal ?X
            (AttrFn ?CLASS ?ATTR))
        (instance ?I ?X))
    (and
        (instance ?I ?CLASS)
        (subclass ?X ?CLASS)
        (attribute ?I ?ATTR)))		 Merge.kif 1773-1781
(=>
    (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 23909-23922
(=>
    (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 23929-23942
(=>
    (instance ?X
        (AttrFn ?CLASS ?ATTR))
    (and
        (instance ?X ?CLASS)
        (attribute ?X ?ATTR)))		 Merge.kif 1783-1788

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


(<=>
    (instance ?X DifferentialEquation)
    (instance ?X
        (AttrFn Equation DifferentialAttribute)))		 engineering.kif 154-156 例 Entity and 微分方程 例 Entity and 方程 跟 微分屬性 的 attr
(=>
    (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 23929-23942
(=>
    (and
        (instance ?X ?CLASS)
        (attribute ?X ?ATTR))
    (instance ?X
        (AttrFn ?CLASS ?ATTR)))		 Merge.kif 1790-1795
(=>
    (instance ?O OccupationalRole)
    (exists (?PCLASS)
        (typicalAction ?PCLASS
            (AttrFn CognitiveAgent ?O))))		 Mid-level-ontology.kif 23903-23907


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 3.0 is open source software produced by Articulate Software and its partners