| appearance as argument number 1 |
|
| (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 913-915 | |
| (domain capabilityDuring 2 CaseRole) | Dining.kif 918-918 | |
| (domain capabilityDuring 3 Object) | Dining.kif 919-919 | |
| (domainSubclass capabilityDuring 1 Process) | Dining.kif 917-917 | |
| (domainSubclass capabilityDuring 4 TimeInterval) | Dining.kif 920-920 | |
| (instance capabilityDuring QuaternaryPredicate) | Dining.kif 912-912 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage capabilityDuring "%3 是 capable 当成 %2 在 %1 在期间 %4 ") | domainEnglishFormat.kif 2946-2946 | |
| (format ChineseTraditionalLanguage capabilityDuring "%3 是 capable 當成 %2 在 %1 在期間 %4 ") | domainEnglishFormat.kif 2945-2945 | |
| (format EnglishLanguage capabilityDuring "%3 is capable of being a %2 in %1 during %4") | domainEnglishFormat.kif 2944-2944 | |
| (termFormat EnglishLanguage capabilityDuring "capable during") | Dining.kif 916-916 |
| antecedent |
|
|
| (=> (capabilityDuring ?PROCESS ?ROLE ?OBJ ?TIMEINT) (exists (?TIME) (and (instance ?TIME ?TIMEINT) (holdsDuring ?TIME (capability ?PROCESS ?ROLE ?OBJ))))) |
Dining.kif 922-928 |
| consequent |
|
|
| (=> (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 | |
| (=> (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 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners