abstractCounterpart - Sigma Knowledge base Browser

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

(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 6165-6169
(documentation abstractCounterpart JapaneseLanguage "(abstractCounterpart ?AB ?PHYS) は、 Physical エンティティの一部の次元で理想的なモデルである Abstract エンティティに Physical エンティティを関連付ける。　例：Abstract GraphNode は ComputerNetwork 内の実際の Computer の対応であると述べることができる。")	japanese_format.kif 1061-1064
(domain abstractCounterpart 1 Abstract)	Merge.kif 6161-6161	The number 1 argument of abstract counterpart is an instance of abstract
(domain abstractCounterpart 2 Physical)	Merge.kif 6162-6162	The number 2 argument of abstract counterpart is an instance of physical
(instance abstractCounterpart BinaryPredicate)	Merge.kif 6160-6160	abstract counterpart is an instance of binary predicate
(subrelation abstractCounterpart represents)	Merge.kif 6163-6163	abstract counterpart is a subrelation of represents

appearance as argument number 2

(format ChineseLanguage abstractCounterpart "%2 的 abstract counterpart %n 是 %1 ")	domainEnglishFormat.kif 2650-2650
(format ChineseTraditionalLanguage abstractCounterpart "%2 的 abstract counterpart %n 是 %1 ")	domainEnglishFormat.kif 2649-2649
(format EnglishLanguage abstractCounterpart "the abstract counterpart of %2 is %1")	domainEnglishFormat.kif 2648-2648
(termFormat EnglishLanguage abstractCounterpart "abstract counterpart")	domainEnglishFormat.kif 65758-65758

antecedent

(=> (and (connects ?A ?NODE1 ?NODE2) (abstractCounterpart ?N1 ?NODE1) (abstractCounterpart ?N2 ?NODE2) (abstractCounterpart ?ARC ?A)) (links ?N1 ?N2 ?ARC))	Transportation.kif 3467-3473	If an object connects another object and a third object and the abstract counterpart of the other object is a graph node and the abstract counterpart of the third object is another graph node and the abstract counterpart of the object is the objectRC, then the objectRC links the graph node and the other graph node
(=> (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 3403-3416	If the distance of a transitway is a constant quantity and a transit system is a path in system of the transitway and a region is the start of the transitway and another region is the end of the transitway and the abstract counterpart of the transit system is a graph path, then there exist a graph, a graph node and another graph node such that the graph is a subgraph of the graph path and equal the graph node and the beginning of the graph path and equal the other graph node and the end of the graph path and the abstract counterpart of the region is the graph node and the abstract counterpart of the other region is the other graph node
(=> (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 6215-6226	If an unit of measure is the unit in a graph and a graph element is an instance of graph node and the graph element is a part of the graph and a graph arc is a part of the graph and the graph arc is an instance of graph arc and the abstract counterpart of a physical is the graph element and the abstract counterpart of another physical is the graph arc and the value of the graph arc is a real number, then the measure of the other physical is the real number the unit of measure(s)
(=> (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 3443-3453	If a physical system is an instance of transit system and a physical is an instance of transitway and the abstract counterpart of the physical system is a graph and the physical system is a system part of the physical, then there exists the graphA such that the graphA is an instance of graph arc and the abstract counterpart of the physical is the graphA and the graphA is a part of the graph
(=> (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 3455-3465	If a physical system is an instance of transit system and a physical is an instance of transitway junction and the abstract counterpart of the physical system is a graph and the physical system is a system part of the physical, then there exists the graphN such that the graphN is an instance of graph node and the abstract counterpart of the physical is the graphN and the graphN is a part of the graph

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 3403-3416	If the distance of a transitway is a constant quantity and a transit system is a path in system of the transitway and a region is the start of the transitway and another region is the end of the transitway and the abstract counterpart of the transit system is a graph path, then there exist a graph, a graph node and another graph node such that the graph is a subgraph of the graph path and equal the graph node and the beginning of the graph path and equal the other graph node and the end of the graph path and the abstract counterpart of the region is the graph node and the abstract counterpart of the other region is the other graph node
(=> (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 3443-3453	If a physical system is an instance of transit system and a physical is an instance of transitway and the abstract counterpart of the physical system is a graph and the physical system is a system part of the physical, then there exists the graphA such that the graphA is an instance of graph arc and the abstract counterpart of the physical is the graphA and the graphA is a part of the graph
(=> (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 3455-3465	If a physical system is an instance of transit system and a physical is an instance of transitway junction and the abstract counterpart of the physical system is a graph and the physical system is a system part of the physical, then there exists the graphN such that the graphN is an instance of graph node and the abstract counterpart of the physical is the graphN and the graphN is a part of the graph
(=> (distanceOnPath ?DIST ?PATH) (exists (?GP) (and (instance ?GP GraphPath) (abstractCounterpart ?GP ?PATH))))	Transportation.kif 3396-3401	If the distance of a transitway is a constant quantity, then there exists an abstract such that the abstract is an instance of graph path and the abstract counterpart of the transitway is the abstract
(=> (graphMeasure ?G ?M) (forall (?AC) (and (graphPart ?AC ?G) (exists (?PC) (abstractCounterpart ?AC ?PC)))))	Merge.kif 6207-6213	If an unit of measure is the unit in a graph, then for all a graph element the graph element is a part of the graph and there exists a physical such that the abstract counterpart of the physical is the graph element
(=> (instance ?TS TransitSystem) (exists (?G) (and (instance ?G Graph) (abstractCounterpart ?G ?TS))))	Transportation.kif 3436-3441	If a physical is an instance of transit system, then there exists an abstract such that the abstract is an instance of graph and the abstract counterpart of the physical is the abstract

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