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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - cz
cz

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


No TPTP formula. May not be expressible in strict first order. relations-cz.txt 423-423
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 205-205
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 267-267
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 475-475
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 277-277
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 425-425
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 203-203
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 268-268
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 476-476
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 273-273
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 278-278
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 274-274
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 272-272
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 158-158
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 160-160
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 159-159
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 392-392
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 279-279
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 276-276
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 422-422
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 271-271
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 206-206
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 454-454
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 163-163
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 204-204

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