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
-------------------------


s__documentation(s__AttrFn__m,s__EnglishLanguage,'"For given class and for given attribute, return a subclass of the class of object having the attribute"')

Merge.kif 1681-1682
s__domain(s__AttrFn__m,n__1,s__Class)

Merge.kif 1687-1687 The number 1 argument of attr is an instance of class
s__domain(s__AttrFn__m,n__2,s__Attribute)

Merge.kif 1688-1688 The number 2 argument of attr is an instance of attribute
s__instance(s__BinaryFunction,s__SetOrClass)

s__instance(s__AttrFn__m,s__BinaryFunction)

Merge.kif 1684-1684 Attr is an instance of binary function
s__instance(s__PartialValuedRelation,s__SetOrClass)

s__instance(s__AttrFn__m,s__PartialValuedRelation)

Merge.kif 1685-1685 Attr is an instance of partial valued relation
s__range(s__AttrFn__m,s__Class)

Merge.kif 1686-1686 The range of attr is an instance of class

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


s__format(s__ChineseLanguage,s__AttrFn__m,'"%1 跟 %2 的 attr"')

domainEnglishFormat.kif 220-220
s__format(s__ChineseTraditionalLanguage,s__AttrFn__m,'"%1 跟 %2 的 attr"')

domainEnglishFormat.kif 219-219
s__format(s__EnglishLanguage,s__AttrFn__m,'"the attr of %1 and %2"')

domainEnglishFormat.kif 218-218
s__termFormat(s__ChineseLanguage,s__AttrFn__m,'"attr"')

domainEnglishFormat.kif 9021-9021
s__termFormat(s__ChineseTraditionalLanguage,s__AttrFn__m,'"attr"')

domainEnglishFormat.kif 9020-9020
s__termFormat(s__EnglishLanguage,s__AttrFn__m,'"attr"')

domainEnglishFormat.kif 9019-9019

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


( ! [V__ATTR,V__X,V__CLASS] :
   (((s__instance(V__ATTR,s__Attribute) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__instance(V__X,s__AttrFn(V__CLASS,V__ATTR))
         =>
         (s__instance(V__X,V__CLASS)
         &
         s__property(V__X,V__ATTR)))
   &
   ((s__instance(V__X,V__CLASS)
     &
     s__property(V__X,V__ATTR))
=>
s__instance(V__X,s__AttrFn(V__CLASS,V__ATTR))))))
)
)

Merge.kif 1711-1716 An entity is an instance of the attr of a class and an attribute if and only if the entity is an instance of the class and the entity the attribute the attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20488-20501
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20508-20521
( ! [V__ATTR,V__X,V__CLASS] :
   (((s__instance(V__ATTR,s__Attribute) &
         s__instance(V__X,s__Class) &
         s__instance(V__CLASS,s__Class))
       =>
       (((V__X = s__AttrFn(V__CLASS,V__ATTR))
         =>
         (( ! [V__I] :
             ((s__instance(V__I,V__X)
               =>
               ((s__instance(V__I,V__CLASS)
                 &
                 s__subclass(V__X,V__CLASS)
               &
               s__property(V__I,V__ATTR))))))))))
)
)

Merge.kif 1690-1699

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


( ! [V__X] :
   (((s__instance(V__X,s__DifferentialEquation) =>
         s__instance(V__X,s__AttrFn(s__Equation,s__DifferentialAttribute)))
     &
     (s__instance(V__X,s__AttrFn(s__Equation,s__DifferentialAttribute))
     =>
     s__instance(V__X,s__DifferentialEquation)))
)
)

engineering.kif 154-156 An entity is an instance of differential equation if and only if the entity is an instance of the attr of equation and differential attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20508-20521
( ! [V__ATTR,V__X,V__I,V__CLASS] :
   (((s__instance(V__X,s__Class) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__subclass(V__X,V__CLASS)
           &
           s__instance(V__I,V__X)
         &
         s__instance(V__ATTR,s__Attribute))
       =>
       ((s__property(V__I,V__ATTR)
         =>
         ((V__X = s__AttrFn(V__CLASS,V__ATTR))))))))
)
)

Merge.kif 1701-1709
( ! [V__O] :
   ((s__instance(V__O,s__OccupationalRole) =>
       (( ? [V__PCLASS] :
           ((s__subclass(V__PCLASS,s__Process) &
               s__typicalAction(V__PCLASS,s__AttrFn(s__CognitiveAgent,V__O)))))))
)
)

Mid-level-ontology.kif 20482-20486


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