serviceRecipient |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22891-22893 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22887-22887 | Le nombre 1 argument de serviceRecipient est une instance de ServiceProcess |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22888-22888 | Le nombre 2 argument de serviceRecipient est une instance de agent cognitif |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22885-22885 | serviceRecipient est une instance de relation asym�trique |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22884-22884 | serviceRecipient est une instance de pr�dicat binaire |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22890-22890 | serviceRecipient est une instance de r�le d�pendant du cas |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22886-22886 | serviceRecipient est une instance de IntentionalRelation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22889-22889 | serviceRecipient est une sous-relation de experiencer |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 235-235 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 236-236 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1966-1966 | |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 236-236 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 52281-52281 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 52280-52280 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 52279-52279 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22902-22907 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2245-2252 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2300-2307 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1772-1778 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14197-14206 |
|