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 17934-17936
No TPTP formula. May not be expressible in strict first order. Merge.kif 17932-17932 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 17933-17933 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 17931-17931 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 44390-44390
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44389-44389
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44388-44388

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17938-17942


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