locatedAtTime |
appearance as argument number 1 |
![]() |
(documentation locatedAtTime EnglishLanguage "(locatedAtTime ?OBJ ?TIME ?PLACE) means that during the time specified by ?TIME, ?OBJ was in the location specified by ?PLACE.") | Mid-level-ontology.kif 24946-24949 | |
(domain locatedAtTime 1 Object) | Mid-level-ontology.kif 24942-24942 | The number 1 argument of located at time is an instance of object |
(domain locatedAtTime 2 TimePosition) | Mid-level-ontology.kif 24943-24943 | The number 2 argument of located at time is an instance of time position |
(domain locatedAtTime 3 Object) | Mid-level-ontology.kif 24944-24944 | The number 3 argument of located at time is an instance of object |
(instance locatedAtTime TernaryPredicate) | Mid-level-ontology.kif 24941-24941 | located at time is an instance of ternary predicate |
appearance as argument number 2 |
![]() |
(format ChineseLanguage locatedAtTime "%1 %n{不} 对于 %3 在时间 %2 located ") | domainEnglishFormat.kif 1567-1567 | |
(format ChineseTraditionalLanguage locatedAtTime "%1 %n{不} 對於 %3 在時間 %2 located ") | domainEnglishFormat.kif 1566-1566 | |
(format EnglishLanguage locatedAtTime "%1 %n{doesn't} located at time %2 for %3") | domainEnglishFormat.kif 1565-1565 | |
(termFormat ChineseLanguage locatedAtTime "位于时间") | domainEnglishFormat.kif 34876-34876 | |
(termFormat ChineseTraditionalLanguage locatedAtTime "位於時間") | domainEnglishFormat.kif 34875-34875 | |
(termFormat EnglishLanguage locatedAtTime "located at time") | domainEnglishFormat.kif 34874-34874 |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |