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 23355-23358 | |
(domain locatedAtTime 1 Object) | Mid-level-ontology.kif 23351-23351 | The number 1 argument of located at time is an instance of object |
(domain locatedAtTime 2 TimePosition) | Mid-level-ontology.kif 23352-23352 | The number 2 argument of located at time is an instance of time position |
(domain locatedAtTime 3 Object) | Mid-level-ontology.kif 23353-23353 | The number 3 argument of located at time is an instance of object |
(instance locatedAtTime TernaryPredicate) | Mid-level-ontology.kif 23350-23350 | 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 34865-34865 | |
(termFormat ChineseTraditionalLanguage locatedAtTime "位於時間") | domainEnglishFormat.kif 34864-34864 | |
(termFormat EnglishLanguage locatedAtTime "located at time") | domainEnglishFormat.kif 34863-34863 |
antecedent |
consequent |