Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  subSystem

 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 Le nombre 1 argument de subSystem est une instance de PhysicalSystem
No TPTP formula. May not be expressible in strict first order. Merge.kif 6130-6130 Le nombre 2 argument de subSystem est une instance de PhysicalSystem
No TPTP formula. May not be expressible in strict first order. Merge.kif 6128-6128 subSystem est une instance de pr�dicat binaire

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 2792-2796
No TPTP formula. May not be expressible in strict first order. Merge.kif 6143-6147


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