systemPart - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - systemPart

systemPart

appearance as argument number 1

(documentation systemPart ChineseLanguage "(systemPart ?PART ?SYSTEM)的意思是 Physical 物体 ?PART 是 PhysicalSystem ?SYSTEM 的一个 SystemElement。")	chinese_format.kif 2389-2390
(documentation systemPart EnglishLanguage "(systemPart ?PART ?SYSTEM) means that the Physical thing ?PART is a SystemElement in the PhysicalSystem ?SYSTEM.")	Merge.kif 6139-6141
(documentation systemPart JapaneseLanguage "(systemPart ?PART ?SYSTEM) とは、Physical事 ?PARTが PhysicalSystem の SystemElement であることを意味する。")	japanese_format.kif 1069-1070
(domain systemPart 1 Physical)	Merge.kif 6136-6136	The number 1 argument of system part is an instance of physical
(domain systemPart 2 PhysicalSystem)	Merge.kif 6137-6137	The number 2 argument of system part is an instance of physical system
(instance systemPart BinaryPredicate)	Merge.kif 6135-6135	system part is an instance of binary predicate

appearance as argument number 2

(format ChineseLanguage systemPart "%2 %n 是 %1 的 system 部分")	domainEnglishFormat.kif 2435-2435
(format ChineseTraditionalLanguage systemPart "%2 %n 是 %1 的 system 部分")	domainEnglishFormat.kif 2434-2434
(format EnglishLanguage systemPart "%2 is %n a system part of %1")	domainEnglishFormat.kif 2433-2433
(termFormat ChineseLanguage systemPart "系统部分")	domainEnglishFormat.kif 56711-56711
(termFormat ChineseTraditionalLanguage systemPart "系統部分")	domainEnglishFormat.kif 56710-56710
(termFormat EnglishLanguage systemPart "system part")	domainEnglishFormat.kif 56709-56709

antecedent

(=> (and (instance ?SYSTEM TransitSystem) (systemPart ?PART ?SYSTEM)) (instance ?PART Transitway))	Transportation.kif 3467-3471	If a physical system is an instance of transit system and the physical system is a system part of a physical, then the physical is an instance of transitway
(=> (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 3435-3445	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 3447-3457	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
(=> (and (subSystem ?SUB ?SYSTEM) (systemPart ?PART ?SUB)) (systemPart ?PART ?SYSTEM))	Merge.kif 6143-6147	If a physical system is a sub system of another physical system and the other physical system is a system part of a physical, then the physical system is a system part of the physical

consequent

(=> (and (subSystem ?SUB ?SYSTEM) (systemPart ?PART ?SUB)) (systemPart ?PART ?SYSTEM))	Merge.kif 6143-6147	If a physical system is a sub system of another physical system and the other physical system is a system part of a physical, then the physical system is a system part of the physical
(=> (routeEnd ?R ?TS) (exists (?T) (and (instance ?T Transitway) (connected ?R ?T) (systemPart ?T ?TS) (not (exists (?T2) (and (instance ?T2 Transitway) (connected ?R ?T2) (systemPart ?T2 ?TS) (not (equal ?T ?T2))))))))	Transportation.kif 3372-3386	If a region is the end of a transit system, then there exists an object such that the object is an instance of transitway and the region is connected to the object and the transit system is a system part of the object and there doesn't exist the object2 such that the object2 is an instance of transitway and the region is connected to the object2 and the transit system is a system part of the object2 and the object is not equal to the object2
(=> (routeStart ?R ?TS) (exists (?T) (and (instance ?T Transitway) (connected ?R ?T) (systemPart ?T ?TS) (not (exists (?T2) (and (instance ?T2 Transitway) (connected ?R ?T2) (systemPart ?T2 ?TS) (not (equal ?T ?T2))))))))	Transportation.kif 3349-3363	If a region is the start of a transit system, then there exists an object such that the object is an instance of transitway and the region is connected to the object and the transit system is a system part of the object and there doesn't exist the object2 such that the object2 is an instance of transitway and the region is connected to the object2 and the transit system is a system part of the object2 and the object is not equal to the object2

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