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 5834-5835
No TPTP formula. May not be expressible in strict first order. Merge.kif 5831-5831 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 5832-5832 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 5830-5830 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 55814-55814
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55813-55813
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55812-55812

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Transportation.kif 2754-2758
No TPTP formula. May not be expressible in strict first order. Merge.kif 5845-5849


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