Interpreting
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2979-2980 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10882-10883 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1739-1740 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6639-6639 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7118-7118 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7119-7119 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7120-7120 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10880-10880 | Interpreting est une sous-classe de processus psycholoqique intentionnel |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12705-12705 | Lire est reli� � l'int�rieur de SUMO � Interpreting |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30739-30739 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30738-30738 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30737-30737 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10885-10892 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 244-253 |
statement |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18201-18218 | ?X ?CUT, ?PAPER, ?CBO and ?INFO ?X est une instance de PaperShredder ?CUT est une instance de couper ?X est un instrument pour ?CUT ?PAPER est une instance de Paper ?PAPER est un patient de ?CUT ?CBO est situ� � ?PAPER ?CBO est une instance de VisualContentBearingObject ?CBO contient information ?INFO diminue la probabilit� de ?READ ?READ est une instance de Interpreting ?INFO est un patient de ?READ temps d'existence de ?CUT arrive plus t�t que temps d'existence de ?READ |