dateUsed |
appearance as argument number 1 |
(documentation dateUsed EnglishLanguage "The date an Object is used by an AutonomousAgent.") | Mid-level-ontology.kif 996-996 | |
(domain dateUsed 1 Object) | Mid-level-ontology.kif 993-993 | dateUsed の数値 1 引数は オブジェクト の instance では %n |
(domain dateUsed 2 TimeInterval) | Mid-level-ontology.kif 994-994 | dateUsed の数値 2 引数は 時間間隔 の instance では %n |
(domain dateUsed 3 AutonomousAgent) | Mid-level-ontology.kif 995-995 | dateUsed の数値 3 引数は AutonomousAgent の instance では %n |
(instance dateUsed TernaryPredicate) | Mid-level-ontology.kif 992-992 | dateUsed は 3進述語 の instance では %n |
appearance as argument number 2 |
(format ChineseLanguage dateUsed "%1 是被 %3 used 在 %2 ") | domainEnglishFormat.kif 3162-3162 | |
(format ChineseTraditionalLanguage dateUsed "%1 是被 %3 used 在 %2 ") | domainEnglishFormat.kif 3161-3161 | |
(format EnglishLanguage dateUsed "%1 is used by %3 at %2") | domainEnglishFormat.kif 3160-3160 | |
(termFormat EnglishLanguage dateUsed "date used") | Mid-level-ontology.kif 997-997 |
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 998-1006 |