No TPTP formula. May not be expressible in strict first order. | Merge.kif 13216-13216 | Demander est une sous-classe de diriger |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1347-1347 | Bidding est une sous-classe de demander |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 844-844 | Reminding est une sous-classe de demander |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8003-8003 | Praying est une sous-classe de demander |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16118-16118 | LegalAppeal est une sous-classe de demander |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29693-29693 | Prompting est une sous-classe de demander |
![]() |