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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 6138-6140
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 6135-6135 The number 1 argument of system part is an instance of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 6136-6136 The number 2 argument of system part is an instance of physical system
No TPTP formula. May not be expressible in strict first order. Merge.kif 6134-6134 system part is an instance of binary predicate

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 56671-56671
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56670-56670
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56669-56669

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 2880-2884
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2846-2856
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2858-2868
No TPTP formula. May not be expressible in strict first order. Merge.kif 6142-6146

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 6142-6146
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2783-2797
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2760-2774


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