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

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2389-2390
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6163-6165
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1069-1070
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6160-6160	The number 1 argument of system part is an instance of physical
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6161-6161	The number 2 argument of system part is an instance of physical system
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6159-6159	system part is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2439-2439
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2438-2438
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2437-2437
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56675-56675
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56674-56674
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56673-56673

antecedent

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3476-3480	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
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3444-3454	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
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3456-3466	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6167-6171	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

No TPTP formula. May not be expressible in strict first order.	Merge.kif 6167-6171	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
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3381-3395	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 equal the object and the object2
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3358-3372	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 equal the object and 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