reservationStart |
appearance as argument number 1 |
![]() |
(documentation reservationStart EnglishLanguage "(reservationStart ?TIME ?RESERVE) means that the use of a resource or consumption of a service which is the object of ?RESERVE starts at ?TIME") | Dining.kif 698-700 | |
(domain reservationStart 1 TimePoint) | Dining.kif 701-701 | reservationStart の数値 1 引数は 時点 の instance では |
(domain reservationStart 2 Reservation) | Dining.kif 702-702 | reservationStart の数値 2 引数は Reservation の instance では |
(instance reservationStart BinaryPredicate) | Dining.kif 697-697 | reservationStart は 2進述語 の instance では |
appearance as argument number 2 |
![]() |
(format ChineseLanguage reservationStart "%2 starts 在 %1 ") | domainEnglishFormat.kif 4406-4406 | |
(format ChineseTraditionalLanguage reservationStart "%2 starts 在 %1 ") | domainEnglishFormat.kif 4405-4405 | |
(format EnglishLanguage reservationStart "%2 starts at %1") | domainEnglishFormat.kif 4404-4404 | |
(termFormat EnglishLanguage reservationStart "reservation start") | domainEnglishFormat.kif 65946-65946 |
antecedent |
![]() |
![]() |
![]() |