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

Formal Language: 



KB Term:  Term intersection
English Word: 

  systemPart

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 6139-6141
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1069-1070
No TPTP formula. May not be expressible in strict first order. Merge.kif 6136-6136 Le nombre 1 argument de systemPart est une instance de physique
No TPTP formula. May not be expressible in strict first order. Merge.kif 6137-6137 Le nombre 2 argument de systemPart est une instance de PhysicalSystem
No TPTP formula. May not be expressible in strict first order. Merge.kif 6135-6135 systemPart 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 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 56673-56673
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56672-56672
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56671-56671

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 2923-2927
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2891-2901
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2903-2913
No TPTP formula. May not be expressible in strict first order. Merge.kif 6143-6147

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 6143-6147
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2828-2842
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2805-2819


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