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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Walking
Walking(Andar)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3008-3009
No TPTP formula. May not be expressible in strict first order. Merge.kif 11183-11184
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1771-1772
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3277-3277
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3278-3278
No TPTP formula. May not be expressible in strict first order. Merge.kif 11181-11181 Andar e' uma sub-classe de Ambulating

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 11175-11175 O conceito Ambulating e' completamente decomposto em Andar + Running
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 525-525 Wading e' uma sub-classe de Andar
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1115-1115
No TPTP formula. May not be expressible in strict first order. english_format.kif 1447-1447
No TPTP formula. May not be expressible in strict first order. french_format.kif 793-793
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 325-325
No TPTP formula. May not be expressible in strict first order. terms-it.txt 328-328
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2477-2477
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 745-745
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 330-330
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 364-364
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 814-814
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 329-329

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 11192-11200

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 390-394
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2435-2441
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15681-15687
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26171-26180