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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - de
de

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


No TPTP formula. May not be expressible in strict first order. relations-de.txt 895-895
No TPTP formula. May not be expressible in strict first order. relations-de.txt 325-325
No TPTP formula. May not be expressible in strict first order. relations-de.txt 889-889
No TPTP formula. May not be expressible in strict first order. relations-de.txt 897-897
No TPTP formula. May not be expressible in strict first order. relations-de.txt 899-899
No TPTP formula. May not be expressible in strict first order. relations-de.txt 901-901
No TPTP formula. May not be expressible in strict first order. relations-de.txt 462-462
No TPTP formula. May not be expressible in strict first order. relations-de.txt 328-328
No TPTP formula. May not be expressible in strict first order. relations-de.txt 586-586
No TPTP formula. May not be expressible in strict first order. relations-de.txt 988-988
No TPTP formula. May not be expressible in strict first order. relations-de.txt 659-659
No TPTP formula. May not be expressible in strict first order. relations-de.txt 903-903
No TPTP formula. May not be expressible in strict first order. relations-de.txt 650-650
No TPTP formula. May not be expressible in strict first order. relations-de.txt 905-905
No TPTP formula. May not be expressible in strict first order. relations-de.txt 1006-1006
No TPTP formula. May not be expressible in strict first order. relations-de.txt 612-612
No TPTP formula. May not be expressible in strict first order. relations-de.txt 907-907
No TPTP formula. May not be expressible in strict first order. relations-de.txt 860-860
No TPTP formula. May not be expressible in strict first order. relations-de.txt 893-893
No TPTP formula. May not be expressible in strict first order. relations-de.txt 456-456
No TPTP formula. May not be expressible in strict first order. relations-de.txt 731-731
No TPTP formula. May not be expressible in strict first order. relations-de.txt 589-589
No TPTP formula. May not be expressible in strict first order. relations-de.txt 991-991
No TPTP formula. May not be expressible in strict first order. relations-de.txt 909-909
No TPTP formula. May not be expressible in strict first order. relations-de.txt 331-331

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners