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 23303-23306 | |
(domain locatedAtTime 1 Object) | Mid-level-ontology.kif 23299-23299 | locatedAtTime の数値 1 引数は オブジェクト の instance では %n |
(domain locatedAtTime 2 TimePosition) | Mid-level-ontology.kif 23300-23300 | locatedAtTime の数値 2 引数は 時間位置 の instance では %n |
(domain locatedAtTime 3 Object) | Mid-level-ontology.kif 23301-23301 | locatedAtTime の数値 3 引数は オブジェクト の instance では %n |
(instance locatedAtTime TernaryPredicate) | Mid-level-ontology.kif 23298-23298 | locatedAtTime は 3進述語 の instance では %n |
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 |