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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Remembering
Remembering

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3139-3140
No TPTP formula. May not be expressible in strict first order. Merge.kif 12159-12161
No TPTP formula. May not be expressible in strict first order. Merge.kif 12158-12158 子類 Remembering and PsychologicalProcess

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1153-1153
No TPTP formula. May not be expressible in strict first order. english_format.kif 1523-1523
No TPTP formula. May not be expressible in strict first order. french_format.kif 831-831
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 363-363
No TPTP formula. May not be expressible in strict first order. terms-it.txt 366-366
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2515-2515
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 783-783
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 368-368
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 402-402
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 852-852
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 367-367

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12163-12172

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6834-6840
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 848-853