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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BeerWineAndLiquorStores

 Sigma KEE - abstractCounterpart
abstractCounterpart

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


(documentation abstractCounterpart ChineseLanguage "(abstractCounterpart ?AB ?PHYS) 它一个 Physical 实体和这个 Physical entity 在某些维度的理想模式的 Abstract 联系，例如： Abstract GraphNode 可以表达为 ComputerNetwork 里一个实际 Computer 的对应。") chinese_format.kif 2382-2384
(documentation abstractCounterpart 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 6116-6120
(documentation abstractCounterpart JapaneseLanguage "(abstractCounterpart ?AB ?PHYS) は、 Physical エンティティの一部の次元で理想的なモデルである Abstract エンティティに Physical エンティティを関連付ける。　例：Abstract GraphNode は ComputerNetwork 内の実際の Computer の対応であると述べることができる。") japanese_format.kif 1061-1064
(domain abstractCounterpart 1 Abstract) Merge.kif 6112-6112
(domain abstractCounterpart 2 Physical) Merge.kif 6113-6113
(instance abstractCounterpart BinaryPredicate) Merge.kif 6111-6111
(subrelation abstractCounterpart represents) Merge.kif 6114-6114

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


(format ChineseLanguage abstractCounterpart "%2 的 abstract counterpart %n 是 %1 ") domainEnglishFormat.kif 2654-2654
(format ChineseTraditionalLanguage abstractCounterpart "%2 的 abstract counterpart %n 是 %1 ") domainEnglishFormat.kif 2653-2653
(format EnglishLanguage abstractCounterpart "the abstract counterpart of %2 is %1") domainEnglishFormat.kif 2652-2652
(termFormat EnglishLanguage abstractCounterpart "abstract counterpart") domainEnglishFormat.kif 65767-65767

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


(=>
    (and
        (connects ?A ?NODE1 ?NODE2)
        (abstractCounterpart ?N1 ?NODE1)
        (abstractCounterpart ?N2 ?NODE2)
        (abstractCounterpart ?ARC ?A))
    (links ?N1 ?N2 ?ARC))		 Transportation.kif 2903-2909
(=>
    (and
        (distanceOnPath ?DIST ?PATH)
        (pathInSystem ?PATH ?SYS)
        (routeStart ?START ?PATH)
        (routeEnd ?END ?PATH)
        (abstractCounterpart ?GRAPH ?SYS))
    (exists (?S ?BN ?EN)
        (and
            (subGraph ?S ?GRAPH)
            (equal ?BN
                (BeginNodeFn ?GRAPH))
            (equal ?EN
                (EndNodeFn ?GRAPH))
            (abstractCounterpart ?BN ?START)
            (abstractCounterpart ?EN ?END))))		 Transportation.kif 2839-2852
(=>
    (and
        (graphMeasure ?G ?M)
        (instance ?AN GraphNode)
        (graphPart ?AN ?G)
        (graphPart ?AA ?G)
        (instance ?AA GraphArc)
        (abstractCounterpart ?AN ?PN)
        (abstractCounterpart ?AA ?PA)
        (arcWeight ?AA ?N))
    (measure ?PA
        (MeasureFn ?N ?M)))		 Merge.kif 6166-6177
(=>
    (and
        (instance ?TS TransitSystem)
        (instance ?T Transitway)
        (abstractCounterpart ?G ?TS)
        (systemPart ?T ?TS))
    (exists (?GA)
        (and
            (instance ?GA GraphArc)
            (abstractCounterpart ?GA ?T)
            (graphPart ?GA ?G))))		 Transportation.kif 2879-2889
(=>
    (and
        (instance ?TS TransitSystem)
        (instance ?TJ TransitwayJunction)
        (abstractCounterpart ?G ?TS)
        (systemPart ?TJ ?TS))
    (exists (?GN)
        (and
            (instance ?GN GraphNode)
            (abstractCounterpart ?GN ?TJ)
            (graphPart ?GN ?G))))		 Transportation.kif 2891-2901

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


(=>
    (and
        (distanceOnPath ?DIST ?PATH)
        (pathInSystem ?PATH ?SYS)
        (routeStart ?START ?PATH)
        (routeEnd ?END ?PATH)
        (abstractCounterpart ?GRAPH ?SYS))
    (exists (?S ?BN ?EN)
        (and
            (subGraph ?S ?GRAPH)
            (equal ?BN
                (BeginNodeFn ?GRAPH))
            (equal ?EN
                (EndNodeFn ?GRAPH))
            (abstractCounterpart ?BN ?START)
            (abstractCounterpart ?EN ?END))))		 Transportation.kif 2839-2852
(=>
    (and
        (instance ?TS TransitSystem)
        (instance ?T Transitway)
        (abstractCounterpart ?G ?TS)
        (systemPart ?T ?TS))
    (exists (?GA)
        (and
            (instance ?GA GraphArc)
            (abstractCounterpart ?GA ?T)
            (graphPart ?GA ?G))))		 Transportation.kif 2879-2889
(=>
    (and
        (instance ?TS TransitSystem)
        (instance ?TJ TransitwayJunction)
        (abstractCounterpart ?G ?TS)
        (systemPart ?TJ ?TS))
    (exists (?GN)
        (and
            (instance ?GN GraphNode)
            (abstractCounterpart ?GN ?TJ)
            (graphPart ?GN ?G))))		 Transportation.kif 2891-2901
(=>
    (distanceOnPath ?DIST ?PATH)
    (exists (?GP)
        (and
            (instance ?GP GraphPath)
            (abstractCounterpart ?GP ?PATH))))		 Transportation.kif 2832-2837
(=>
    (graphMeasure ?G ?M)
    (forall (?AC)
        (and
            (graphPart ?AC ?G)
            (exists (?PC)
                (abstractCounterpart ?AC ?PC)))))		 Merge.kif 6158-6164
(=>
    (instance ?TS TransitSystem)
    (exists (?G)
        (and
            (instance ?G Graph)
            (abstractCounterpart ?G ?TS))))		 Transportation.kif 2872-2877


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