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 5841-5843
No TPTP formula. May not be expressible in strict first order. Merge.kif 5838-5838 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 5839-5839 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 5837-5837 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 56649-56649
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56648-56648
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56647-56647

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 2887-2891
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2853-2863
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2865-2875
No TPTP formula. May not be expressible in strict first order. Merge.kif 5845-5849

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 5845-5849
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2790-2804
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2767-2781


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