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 11171-11172
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 11169-11169 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 11163-11163 O conceito Ambulating e' completamente decomposto em Andar + Running
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 532-532 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 11180-11188

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 2442-2448
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15653-15659
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26126-26135