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 1781-1782
(documentation AttrFn JapaneseLanguage "指定されたクラスと指定された属性の場合、属性を持つオブ ジェクトのクラスのサブクラスを返す。") japanese_format.kif 326-327
(domain AttrFn 2 Attribute) Merge.kif 1788-1788 AttrFn の数値 2 引数は 属性 の instance では
(domainSubclass AttrFn 1 Object) Merge.kif 1787-1787 AttrFn の数値 1 引数は オブジェクト のsubclass では
(instance AttrFn BinaryFunction) Merge.kif 1784-1784 AttrFn は 2変数関数 の instance では
(instance AttrFn PartialValuedRelation) Merge.kif 1785-1785 AttrFn は 部分的価値関係 の instance では
(rangeSubclass AttrFn Object) Merge.kif 1786-1786 AttrFn が返す値は オブジェクト の subclasses では

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 9013-9013
(termFormat ChineseTraditionalLanguage AttrFn "attr") domainEnglishFormat.kif 9012-9012
(termFormat EnglishLanguage AttrFn "attr") domainEnglishFormat.kif 9011-9011

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


(=>
    (and
        (equal ?X
            (AttrFn ?CLASS ?ATTR))
        (instance ?I ?X))
    (and
        (instance ?I ?CLASS)
        (subclass ?X ?CLASS)
        (attribute ?I ?ATTR)))		 Merge.kif 1790-1798
(=>
    (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 23901-23914
(=>
    (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 23921-23934
(=>
    (instance ?X
        (AttrFn ?CLASS ?ATTR))
    (and
        (instance ?X ?CLASS)
        (attribute ?X ?ATTR)))		 Merge.kif 1800-1805

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


(<=>
    (instance ?X DifferentialEquation)
    (instance ?X
        (AttrFn Equation DifferentialAttribute)))		 engineering.kif 154-156 エンティティー は DifferentialEquation の instance では エンティティー は AttrFn Equation and DifferentialAttribute の instance では
(=>
    (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 23921-23934
(=>
    (and
        (instance ?X ?CLASS)
        (attribute ?X ?ATTR))
    (instance ?X
        (AttrFn ?CLASS ?ATTR)))		 Merge.kif 1807-1812
(=>
    (instance ?O OccupationalRole)
    (exists (?PCLASS)
        (typicalAction ?PCLASS
            (AttrFn CognitiveAgent ?O))))		 Mid-level-ontology.kif 23895-23899


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