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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Betting
Betting(Aposta)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3105-3106
No TPTP formula. May not be expressible in strict first order. Merge.kif 11931-11934
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5880-5880
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6161-6161
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6162-6162
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6163-6163
No TPTP formula. May not be expressible in strict first order. Merge.kif 11930-11930 Aposta e' uma sub-classe de Transacao Financeira

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1141-1141
No TPTP formula. May not be expressible in strict first order. english_format.kif 1499-1499
No TPTP formula. May not be expressible in strict first order. french_format.kif 819-819
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 351-351
No TPTP formula. May not be expressible in strict first order. terms-it.txt 354-354
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2503-2503
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 771-771
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 356-356
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 390-390
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 840-840
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 355-355

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. naics.kif 11478-11487
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1440-1448


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 3.0 is open source software produced by Articulate Software and its partners