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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - abstractCounterpart
abstractCounterpart

appearance as argument number 1
-------------------------


s__documentation(s__abstractCounterpart__m,s__ChineseLanguage,'"(abstractCounterpart ?AB ?PHYS) 它一个 Physical 实体和这个 Physical entity 在某些维度的理想模式的 Abstract 联系,例如: Abstract GraphNode 可以表达为 ComputerNetwork 里一个实际 Computer 的对应。"')

chinese_format.kif 2382-2384
s__documentation(s__abstractCounterpart__m,s__EnglishLanguage,'"(abstractCounterpart ?AB ?PHYS) relates a Physical entity to an Abstract one which is an idealized model in some dimension of the Physical entity. For example, an Abstract GraphNode could be stated to be the counterpart of an actual Computer in a ComputerNetwork."')

Merge.kif 5855-5859
s__domain(s__abstractCounterpart__m,n__1,s__Abstract)

Merge.kif 5851-5851 The number 1 argument of abstractCounterpart is an instance of abstract
s__domain(s__abstractCounterpart__m,n__2,s__Physical)

Merge.kif 5852-5852 The number 2 argument of abstractCounterpart is an instance of physical
s__instance(s__BinaryPredicate,s__SetOrClass)

s__instance(s__abstractCounterpart__m,s__BinaryPredicate)

Merge.kif 5850-5850 abstractCounterpart is an instance of binary predicate
s__subrelation(s__abstractCounterpart__m,s__represents__m)

Merge.kif 5853-5853 abstractCounterpart is a subrelation of represents

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


s__format(s__ChineseLanguage,s__abstractCounterpart__m,'"%2 的 abstract counterpart %n 是 %1 "')

domainEnglishFormat.kif 2655-2655
s__format(s__ChineseTraditionalLanguage,s__abstractCounterpart__m,'"%2 的 abstract counterpart %n 是 %1 "')

domainEnglishFormat.kif 2654-2654
s__format(s__EnglishLanguage,s__abstractCounterpart__m,'"the abstract counterpart of %2 is %1"')

domainEnglishFormat.kif 2653-2653

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


( ! [V__NODE2,V__NODE1,V__A,V__N1,V__N2,V__ARC] :
   (((s__instance(V__NODE2,s__Object) &
         s__instance(V__NODE1,s__Object) &
         s__instance(V__A,s__Object) &
         s__instance(V__N1,s__GraphNode) &
         s__instance(V__N2,s__GraphNode) &
         s__instance(V__ARC,s__GraphArc))
       =>
       (((s__connects(V__A,V__NODE1,V__NODE2)
           &
           s__abstractCounterpart(V__N1,V__NODE1)
         &
         s__abstractCounterpart(V__N2,V__NODE2)
       &
       s__abstractCounterpart(V__ARC,V__A))
   =>
   (s__links(V__N1,V__N2,V__ARC)))))
)
)

Transportation.kif 2877-2883
( ! [V__END,V__DIST,V__SYS,V__PATH,V__START,V__GRAPH] :
   (((s__instance(V__END,s__Region) &
         s__instance(V__DIST,s__ConstantQuantity) &
         s__instance(V__SYS,s__TransitSystem) &
         s__instance(V__PATH,s__Transitway) &
         s__instance(V__PATH,s__TransitSystem) &
         s__instance(V__START,s__Region) &
         s__instance(V__GRAPH,s__GraphPath))
       =>
       (((s__distanceOnPath(V__DIST,V__PATH)
           &
           s__pathInSystem(V__PATH,V__SYS)
         &
         s__routeStart(V__START,V__PATH)
       &
       s__routeEnd(V__END,V__PATH)
     &
     s__abstractCounterpart(V__GRAPH,V__SYS))
=>
(( ? [V__S, V__BN, V__EN] :
     ((s__instance(V__S,s__Graph) &
         s__instance(V__BN,s__GraphNode) &
         s__instance(V__EN,s__GraphNode) &
         (s__subGraph(V__S,V__GRAPH)
         &
         (V__BN = s__BeginNodeFn(V__GRAPH))
       &
       (V__EN = s__EndNodeFn(V__GRAPH))
     &
     s__abstractCounterpart(V__BN,V__START)
   &
   s__abstractCounterpart(V__EN,V__END)))))))))
)
)

Transportation.kif 2813-2826
( ! [V__PA,V__G,V__AN,V__PN,V__M,V__N,V__AA] :
   (((s__instance(V__PA,s__Physical) &
         s__instance(V__G,s__Graph) &
         s__instance(V__PN,s__Physical) &
         s__instance(V__M,s__UnitOfMeasure) &
         s__instance(V__N,s__RealNumber))
       =>
       (((s__graphMeasure(V__G,V__M)
           &
           s__instance(V__AN,s__GraphNode) &
           s__graphPart(V__AN,V__G)
         &
         s__graphPart(V__AA,V__G)
       &
       s__instance(V__AA,s__GraphArc) &
       s__abstractCounterpart(V__AN,V__PN)
     &
     s__abstractCounterpart(V__AA,V__PA)
   &
   s__arcWeight(V__AA,s__MeasureFn(V__N,V__M)))
=>
(s__measure(V__PA,s__MeasureFn(V__N,V__M))))))
)
)

Merge.kif 5905-5915
( ! [V__T,V__G,V__TS] :
   ((s__instance(V__G,s__Graph) =>
       (((s__instance(V__TS,s__TransitSystem) &
             s__instance(V__T,s__Transitway) &
             s__abstractCounterpart(V__G,V__TS)
           &
           s__systemPart(V__T,V__TS))
       =>
       (( ? [V__GA] :
           ((s__instance(V__GA,s__GraphArc) &
               s__abstractCounterpart(V__GA,V__T)
             &
             s__graphPart(V__GA,V__G))))))))
)
)

Transportation.kif 2853-2863
( ! [V__TJ,V__G,V__TS] :
   ((s__instance(V__G,s__Graph) =>
       (((s__instance(V__TS,s__TransitSystem) &
             s__instance(V__TJ,s__TransitwayJunction) &
             s__abstractCounterpart(V__G,V__TS)
           &
           s__systemPart(V__TJ,V__TS))
       =>
       (( ? [V__GN] :
           ((s__instance(V__GN,s__GraphNode) &
               s__abstractCounterpart(V__GN,V__TJ)
             &
             s__graphPart(V__GN,V__G))))))))
)
)

Transportation.kif 2865-2875

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


( ! [V__END,V__DIST,V__SYS,V__PATH,V__START,V__GRAPH] :
   (((s__instance(V__END,s__Region) &
         s__instance(V__DIST,s__ConstantQuantity) &
         s__instance(V__SYS,s__TransitSystem) &
         s__instance(V__PATH,s__Transitway) &
         s__instance(V__PATH,s__TransitSystem) &
         s__instance(V__START,s__Region) &
         s__instance(V__GRAPH,s__GraphPath))
       =>
       (((s__distanceOnPath(V__DIST,V__PATH)
           &
           s__pathInSystem(V__PATH,V__SYS)
         &
         s__routeStart(V__START,V__PATH)
       &
       s__routeEnd(V__END,V__PATH)
     &
     s__abstractCounterpart(V__GRAPH,V__SYS))
=>
(( ? [V__S, V__BN, V__EN] :
     ((s__instance(V__S,s__Graph) &
         s__instance(V__BN,s__GraphNode) &
         s__instance(V__EN,s__GraphNode) &
         (s__subGraph(V__S,V__GRAPH)
         &
         (V__BN = s__BeginNodeFn(V__GRAPH))
       &
       (V__EN = s__EndNodeFn(V__GRAPH))
     &
     s__abstractCounterpart(V__BN,V__START)
   &
   s__abstractCounterpart(V__EN,V__END)))))))))
)
)

Transportation.kif 2813-2826
( ! [V__T,V__G,V__TS] :
   ((s__instance(V__G,s__Graph) =>
       (((s__instance(V__TS,s__TransitSystem) &
             s__instance(V__T,s__Transitway) &
             s__abstractCounterpart(V__G,V__TS)
           &
           s__systemPart(V__T,V__TS))
       =>
       (( ? [V__GA] :
           ((s__instance(V__GA,s__GraphArc) &
               s__abstractCounterpart(V__GA,V__T)
             &
             s__graphPart(V__GA,V__G))))))))
)
)

Transportation.kif 2853-2863
( ! [V__TJ,V__G,V__TS] :
   ((s__instance(V__G,s__Graph) =>
       (((s__instance(V__TS,s__TransitSystem) &
             s__instance(V__TJ,s__TransitwayJunction) &
             s__abstractCounterpart(V__G,V__TS)
           &
           s__systemPart(V__TJ,V__TS))
       =>
       (( ? [V__GN] :
           ((s__instance(V__GN,s__GraphNode) &
               s__abstractCounterpart(V__GN,V__TJ)
             &
             s__graphPart(V__GN,V__G))))))))
)
)

Transportation.kif 2865-2875
( ! [V__DIST,V__PATH] :
   (((s__instance(V__DIST,s__ConstantQuantity) &
         s__instance(V__PATH,s__Transitway))
       =>
       ((s__distanceOnPath(V__DIST,V__PATH)
         =>
         (( ? [V__GP] :
             ((s__instance(V__GP,s__GraphPath) &
                 s__abstractCounterpart(V__GP,V__PATH))))))))
)
)

Transportation.kif 2806-2811
( ! [V__G,V__M] :
   (((s__instance(V__G,s__Graph) &
         s__instance(V__M,s__UnitOfMeasure))
       =>
       ((s__graphMeasure(V__G,V__M)
         =>
         (( ! [V__AC] :
             ((s__instance(V__AC,s__GraphElement) =>
                 ((s__graphPart(V__AC,V__G)
                   &
                   ( ? [V__PC] :
                     ((s__instance(V__PC,s__Physical) &
                         s__abstractCounterpart(V__AC,V__PC)))))))))))))
)
)

Merge.kif 5897-5903
( ! [V__TS] :
   ((s__instance(V__TS,s__TransitSystem) =>
       (( ? [V__G] :
           ((s__instance(V__G,s__Graph) &
               s__abstractCounterpart(V__G,V__TS))))))
   )
)

Transportation.kif 2846-2851


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