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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ar
ar

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


No TPTP formula. May not be expressible in strict first order. arabic_format.kif 93-93
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 140-140
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 94-94
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 193-193
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 222-222
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 219-219
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 203-203
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 194-194
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 95-95
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 96-96
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 199-199
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 221-221
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 220-220
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 168-168
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 169-169
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 204-204
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 200-200
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 198-198
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 217-217
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 223-223
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 100-100
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 97-97
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 99-99
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 98-98
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 167-167

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