Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| finishesDuring |
| appearance as argument number 1 |
|
| (documentation finishesDuring EnglishLanguage "(finishesDuring ?INTERVAL1 ?INTERVAL2) means that the end point of ?INTERVAL1 ends during ?INTERVAL2.") | Merge.kif 8271-8271 | |
| (domain finishesDuring 1 TimeInterval) | Merge.kif 8273-8273 | The number 1 argument of finishes during is an instance of timeframe |
| (domain finishesDuring 2 TimeInterval) | Merge.kif 8274-8274 | The number 2 argument of finishes during is an instance of timeframe |
| (instance finishesDuring BinaryPredicate) | Merge.kif 8275-8275 | finishes during is an instance of binary predicate |
| (instance finishesDuring IrreflexiveRelation) | Merge.kif 8276-8276 | finishes during is an instance of irreflexive relation |
| (instance finishesDuring TemporalRelation) | Merge.kif 8277-8277 | finishes during is an instance of temporal relation |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage finishesDuring "finishes during") | Merge.kif 8272-8272 |
| antecedent |
|
|
| (=> (finishesDuring ?INTERVAL1 ?INTERVAL2) (temporallyBetween (BeginFn ?INTERVAL2) (EndFn ?INTERVAL1) (EndFn ?INTERVAL2))) |
Merge.kif 8279-8281 | If finishes during X and Y, then the end of X is between the beginning of Y and the end of Y |
| consequent |
|
|
| (=> (equal ?GNP (GrossNationalProductFn ?GPA ?Y)) (exists (?PRODANDSERV) (and (instance ?PRODANDSERV Collection) (monetaryValue ?PRODANDSERV ?GNP) (=> (and (instance ?M Manufacture) (result ?M ?PRODUCT) (agent ?M ?MAKER) (member ?MAKER (CitizenryFn ?GPA)) (finishesDuring (WhenFn ?M) ?Y)) (member ?PRODUCT ?PRODANDSERV)) (=> (and (instance ?SERVICE Process) (attribute ?SERVICE ServiceInEconomics) (agent ?SERVICE ?PROVIDER) (member ?PROVIDER (CitizenryFn ?GPA)) (finishesDuring (WhenFn ?SERVICE) ?Y)) (member ?SERVICE ?PRODANDSERV))))) |
Economy.kif 1029-1050 | If equal X and gross national product of Y during Z, then All of the following hold: (1) there exists W such that W is an instance of collection (2) value of W is X (3) V is an instance of manufacture (4) U is a result of V (5) T is an agent of V (6) T is a member of the citizenry of Y (7) finishes during the time of existence of V (8) ZU is a member of W (9) S is an instance of process (10) service is an attribute of S (11) R is an agent of S (12) R is a member of the citizenry of Y (13) finishes during the time of existence of S (14) ZS is a member of W |
| (=> (instance ?GAS GoodsAndServices) (and (instance ?GPA GeopoliticalArea) (=> (and (instance ?M Manufacture) (result ?M ?PRODUCT) (agent ?M ?MAKER) (member ?MAKER (CitizenryFn ?GPA)) (finishesDuring (WhenFn ?M) ?Y) (located ?M ?GPA)) (member ?PRODUCT ?GAS)) (=> (and (instance ?SERVICE Process) (attribute ?SERVICE ServiceInEconomics) (agent ?SERVICE ?PROVIDER) (member ?PROVIDER (CitizenryFn ?GPA)) (finishesDuring (WhenFn ?SERVICE) ?Y) (located ?SERVICE ?GPA)) (member ?SERVICE ?GAS)))) |
Economy.kif 6921-6942 | If X is an instance of goods and services, then Y is an instance of geopolitical area, if All of the following hold: (1) Z is an instance of manufacture (2) W is a result of Z (3) V is an agent of Z (4) V is a member of the citizenry of Y (5) finishes during the time of existence of Z and U (6) Z is located at Y, then W is a member of X, and if All of the following hold: (1) T is an instance of process (2) service is an attribute of T (3) S is an agent of T (4) S is a member of the citizenry of Y (5) finishes during the time of existence of T and U (6) T is located at Y, then T is a member of X |
|