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 | O argumento numero 1 de serviceRecipient e' uma instancia de ServiceProcess |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22888-22888 | O argumento numero 2 de serviceRecipient e' uma instancia de Agente Cognitivo |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22885-22885 | serviceRecipient e' uma instancia de Relacao Assimetrica |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22884-22884 | serviceRecipient e' uma instancia de Predicado Binario |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22890-22890 | serviceRecipient e' uma instancia de Role em Caso |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22886-22886 | serviceRecipient e' uma instancia de IntentionalRelation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22889-22889 | serviceRecipient e' uma sub-relacao 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 |
![]() |
![]() |
![]() |