Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| capabilityDuring |
| appearance as argument number 1 |
|
| (instance capabilityDuring QuaternaryPredicate) | Dining.kif 915-915 | capable during is an instance of quaternary predicate |
| (documentation capabilityDuring EnglishLanguage "(capabilityDuring ?PROCESS ?ROLE ?OBJ ?TIMEINT) means that ?OBJ has the ability to play the role of ?ROLE in the process ?PROCESS during the time indicated by ?TIMEINT") | Dining.kif 916-918 | capable during is an instance of quaternary predicate |
| (domainSubclass capabilityDuring 1 Process) | Dining.kif 920-920 | The number 1 argument of capable during is a subclass of process |
| (domain capabilityDuring 2 CaseRole) | Dining.kif 921-921 | The number 2 argument of capable during is an instance of case role |
| (domain capabilityDuring 3 Object) | Dining.kif 922-922 | The number 3 argument of capable during is an instance of object |
| (domainSubclass capabilityDuring 4 TimeInterval) | Dining.kif 923-923 | The number 4 argument of capable during is a subclass of timeframe |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage capabilityDuring "capable during") | Dining.kif 919-919 | |
| (format EnglishLanguage capabilityDuring "%3 is capable of being a %2 in %1 during %4") | domainEnglishFormat.kif 2948-2948 | |
| (format ChineseTraditionalLanguage capabilityDuring "%3 是 capable 當成 %2 在 %1 在期間 %4 ") | domainEnglishFormat.kif 2949-2949 | |
| (format ChineseLanguage capabilityDuring "%3 是 capable 当成 %2 在 %1 在期间 %4 ") | domainEnglishFormat.kif 2950-2950 |
| antecedent |
|
|
| (=> (capabilityDuring ?PROCESS ?ROLE ?OBJ ?TIMEINT) (exists (?TIME) (and (instance ?TIME ?TIMEINT) (holdsDuring ?TIME (capability ?PROCESS ?ROLE ?OBJ))))) |
Dining.kif 925-931 | If X is capable of being a Y in Z during W, then there exists V such that V is an instance of W and X is capable of doing Z as a Y holds during V |
| consequent |
|
|
| (=> (and (offersAtTime ?AGENT ?CATALOG ?TIMEINT) (catalogItem ?CLASS ?CATALOG) (subclass ?CLASS Process) (instance ?TIMEINT ?TIME) (subclass ?TIME TimeInterval)) (capabilityDuring ?CLASS agent ?AGENT ?TIME)) |
Catalog.kif 130-137 | If X offers items for sale in Y during Z, W is in Y, W is a subclass of process, Z is an instance of V, and V is a subclass of timeframe, then X is capable of being a agent in W during V |
| (=> (and (offersAtTime ?AGENT ?CATALOG ?TIMEINT) (catalogItem ?CLASS ?CATALOG) (subclass ?CLASS Object) (instance ?PROCESSINSTANCE ?PROCESS) (subclass ?PROCESS Process) (instance ?OBJ ?CLASS) (patient ?PROCESSINSTANCE ?OBJ) (instance ?TIMEINT ?TIME) (subclass ?TIME TimeInterval)) (capabilityDuring ?PROCESS agent ?AGENT ?TIME)) |
Catalog.kif 139-150 | If All of the following hold: (1) X offers items for sale in Y during Z (2) W is in Y (3) W is a subclass of object (4) V is an instance of U (5) U is a subclass of process (6) T is an instance of W (7) T is a patient of V (8) Z is an instance of S (9) S is a subclass of timeframe, then X is capable of being a agent in U during S |
|