Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| dateUsed |
| appearance as argument number 1 |
|
| (instance dateUsed TernaryPredicate) | Mid-level-ontology.kif 982-982 | date used is an instance of ternary predicate |
| (domain dateUsed 1 Object) | Mid-level-ontology.kif 983-983 | The number 1 argument of date used is an instance of object |
| (domain dateUsed 2 TimeInterval) | Mid-level-ontology.kif 984-984 | The number 2 argument of date used is an instance of timeframe |
| (domain dateUsed 3 AutonomousAgent) | Mid-level-ontology.kif 985-985 | The number 3 argument of date used is an instance of agent |
| (documentation dateUsed EnglishLanguage "The date an Object is used by an AutonomousAgent.") | Mid-level-ontology.kif 986-986 | The number 3 argument of date used is an instance of agent |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage dateUsed "date used") | Mid-level-ontology.kif 987-987 | |
| (format EnglishLanguage dateUsed "%1 is used by %3 at %2") | domainEnglishFormat.kif 3156-3156 | |
| (format ChineseTraditionalLanguage dateUsed "%1 是被 %3 used 在 %2 ") | domainEnglishFormat.kif 3157-3157 | |
| (format ChineseLanguage dateUsed "%1 是被 %3 used 在 %2 ") | domainEnglishFormat.kif 3158-3158 |
| antecedent |
|
|
| (=> (dateUsed ?OBJECT ?DATE ?AGENT) (exists (?PROCESS) (and (instance ?PROCESS Process) (patient ?PROCESS ?OBJECT) (agent ?PROCESS ?AGENT) (uses ?OBJECT ?AGENT) (overlapsTemporally ?DATE (WhenFn ?PROCESS))))) |
Mid-level-ontology.kif 988-996 | If X is used by Y at Z, then there exists W such that W is an instance of process, X is a patient of W, Y is an agent of W, Y uses X, and the time of existence of W overlaps Z |
|