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

Formal Language: 



KB Term:  Term intersection
English Word: 

  sv

Sigma KEE - sv
sv

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


No TPTP formula. May not be expressible in strict first order. relations-sv.txt 461-461
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 151-151
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 458-458
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 462-462
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 464-464
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 466-466
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 213-213
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 152-152
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 287-287
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 528-528
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 324-324
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 468-468
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 321-321
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 469-469
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 538-538
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 298-298
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 471-471
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 438-438
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 460-460
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 209-209
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 364-364
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 288-288
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 530-530
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 472-472
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 153-153

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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