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 5841-5843
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5838-5838	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 5839-5839	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 5837-5837	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 2435-2435
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2434-2434
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2433-2433
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56649-56649
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56648-56648
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56647-56647

antecedent

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2887-2891	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 2853-2863	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 2865-2875	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 5845-5849	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 5845-5849	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 2790-2804	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
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2767-2781	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