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 6129-6131
(documentation systemPart JapaneseLanguage "(systemPart ?PART ?SYSTEM) とは、Physical事 ?PARTが PhysicalSystem の SystemElement であることを意味する。")	japanese_format.kif 1069-1070
(domain systemPart 1 Physical)	Merge.kif 6126-6126	The number 1 argument of system part is an instance of physical
(domain systemPart 2 PhysicalSystem)	Merge.kif 6127-6127	The number 2 argument of system part is an instance of physical system
(instance systemPart BinaryPredicate)	Merge.kif 6125-6125	system part is an instance of binary predicate

appearance as argument number 2

(format ChineseLanguage systemPart "%2 %n 是 %1 的 system 部分")	domainEnglishFormat.kif 2439-2439
(format ChineseTraditionalLanguage systemPart "%2 %n 是 %1 的 system 部分")	domainEnglishFormat.kif 2438-2438
(format EnglishLanguage systemPart "%2 is %n a system part of %1")	domainEnglishFormat.kif 2437-2437
(termFormat ChineseLanguage systemPart "系统部分")	domainEnglishFormat.kif 56704-56704
(termFormat ChineseTraditionalLanguage systemPart "系統部分")	domainEnglishFormat.kif 56703-56703
(termFormat EnglishLanguage systemPart "system part")	domainEnglishFormat.kif 56702-56702

antecedent

(=> (and (instance ?SYSTEM TransitSystem) (systemPart ?PART ?SYSTEM)) (instance ?PART Transitway))	Transportation.kif 3473-3477	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 3441-3451	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 3453-3463	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 6133-6137	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 6133-6137	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 3378-3392	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 3355-3369	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