Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| expects |
| appearance as argument number 1 |
|
| (instance expects BinaryPredicate) | Merge.kif 10834-10834 | expects is an instance of binary predicate |
| (domain expects 1 CognitiveAgent) | Merge.kif 10835-10835 | The number 1 argument of expects is an instance of cognitive agent |
| (domain expects 2 Formula) | Merge.kif 10836-10836 | The number 2 argument of expects is an instance of formula |
| (documentation expects EnglishLanguage "(holdsDuring ?T1 (expects ?AGENT ?BELIEF)) means (and (holdDuring ?T1 (believes ?AGENT (holdsDuring ?T2 ?BELIEF))) (earlier ?T1 ?T2)).") | Merge.kif 10837-10839 | The number 2 argument of expects is an instance of formula |
| appearance as argument number 2 |
|
|
| (subrelation fears expects) | Mid-level-ontology.kif 8682-8682 | fears is a subrelation of expects |
| (subrelation hopes expects) | Mid-level-ontology.kif 8716-8716 | hopes is a subrelation of expects |
| (format EnglishLanguage expects "%1 expects %2 will be true") | domainEnglishFormat.kif 3350-3350 | hopes is a subrelation of expects |
| (format ChineseTraditionalLanguage expects "%1 expects %2 會是事實") | domainEnglishFormat.kif 3351-3351 | hopes is a subrelation of expects |
| (format ChineseLanguage expects "%1 expects %2 会是事实") | domainEnglishFormat.kif 3352-3352 | hopes is a subrelation of expects |
| (termFormat EnglishLanguage expects "expects") | domainEnglishFormat.kif 22786-22786 | hopes is a subrelation of expects |
| (termFormat ChineseTraditionalLanguage expects "預計") | domainEnglishFormat.kif 22787-22787 | hopes is a subrelation of expects |
| (termFormat ChineseLanguage expects "预计") | domainEnglishFormat.kif 22788-22788 | hopes is a subrelation of expects |
| consequent |
|
|
| (=> (and (instance ?JOIN Hiring) (instance ?ORG Organization) (agent ?JOIN ?ORG) (patient ?JOIN ?PERSON)) (expects ?ORG (exists (?FT) (and (instance ?FT FinancialTransaction) (agent ?FT ?ORG) (destination ?FT ?PERSON) (earlier (WhenFn ?JOIN) (WhenFn ?FT)))))) |
Merge.kif 10878-10890 | If X is an instance of hiring, Y is an instance of organization, Y is an agent of X, and Z is a patient of X, then Y expects there exists W such that W is an instance of financial transaction, Y is an agent of W, W ends up at Z, and the time of existence of X happens earlier than the time of existence of W will be true |
| (=> (holdsDuring ?TIME (attribute ?AGENT Surprise)) (exists (?PART ?PROP) (and (temporalPart ?PART (PastFn ?TIME)) (holdsDuring ?PART (expects ?AGENT ?PROP)) (holdsDuring ?TIME (truth ?PROP False))))) |
Mid-level-ontology.kif 21246-21252 | If surprise is an attribute of X holds during Y, then there exist Z, W such that Z is a part of before Y, X expects W will be true holds during Z, and W is false holds during Y |
| (=> (and (checkOutTime ?HOTEL ?TIME) (guest ?GUEST ?HOTEL)) (expects ?HOTEL (exists (?T ?C) (and (instance ?T ?TIME) (patient ?C ?GUEST) (instance ?C CheckOutService) (agent ?C ?HOTEL) (before (BeginFn (WhenFn ?C)) ?T))))) |
Hotel.kif 688-699 | If one must check out before X at Y and Z is a guest at Y, then Y expects there exist W, V such that W is an instance of X, Z is a patient of V, V is an instance of check-out service, Y is an agent of V, and the beginning of the time of existence of V happens before W will be true |
|