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

Formal Language: 



KB Term:  Term intersection
English Word: 

  parallel

 Sigma KEE - parallel
parallel

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3991-3992
No TPTP formula. May not be expressible in strict first order. Merge.kif 17855-17857
No TPTP formula. May not be expressible in strict first order. Merge.kif 17853-17853 The number 1 argument of parallel is an instance of one dimensional figure
No TPTP formula. May not be expressible in strict first order. Merge.kif 17854-17854 The number 2 argument of parallel is an instance of one dimensional figure
No TPTP formula. May not be expressible in strict first order. Merge.kif 17852-17852 parallel is an instance of binary predicate

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1899-1899
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1898-1898
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1897-1897
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44388-44388
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44387-44387
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44386-44386

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17859-17863


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