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 6132-6133
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 6129-6129	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 6130-6130	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 6128-6128	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 55838-55838
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55837-55837
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55836-55836

antecedent

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2780-2784	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 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

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