TreeView Knowledge Base Browser - subSystem

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - subSystem

subSystem

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2387-2388
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6131-6132
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1067-1068
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6128-6128	The number 1 argument of sub system is an instance of physical system
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6129-6129	The number 2 argument of sub system is an instance of physical system
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6127-6127	sub system is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2399-2399
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2398-2398
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2397-2397
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55836-55836
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55835-55835
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55834-55834

antecedent

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2747-2751	If a transit system is a sub system of another transit system and the other transit system is a route in system of a transitway, then the transit system is a route in system of the transitway
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6142-6146	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

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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