| appearance as argument number 1 |
|
| (documentation reservationChannel EnglishLanguage "(reservationChannel ?ENTITY ?RESERVE) means that ?ENTITY was used by the reservingEntity in order to create the reservation, like an intermediary agent.") | Dining.kif 668-670 | |
| (domain reservationChannel 1 Physical) | Dining.kif 671-671 | reservationChannel の数値 1 引数は 物理 の instance では %n |
| (domain reservationChannel 2 Reservation) | Dining.kif 672-672 | reservationChannel の数値 2 引数は Reservation の instance では %n |
| (instance reservationChannel BinaryPredicate) | Dining.kif 667-667 | reservationChannel は 2進述語 の instance では %n |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage reservationChannel "%1 是 used 在创造 %2 ") | domainEnglishFormat.kif 4394-4394 | |
| (format ChineseTraditionalLanguage reservationChannel "%1 是 used 在創造 %2 ") | domainEnglishFormat.kif 4393-4393 | |
| (format EnglishLanguage reservationChannel "%1 was used in creating %2") | domainEnglishFormat.kif 4392-4392 | |
| (termFormat EnglishLanguage reservationChannel "reservation channel") | domainEnglishFormat.kif 65923-65923 |
| antecedent |
|
|
| (=> (reservationChannel ?ENTITY ?RESERVE) (exists (?P) (and (instance ?P Reserving) (instrument ?P ?ENTITY) (result ?P ?RESERVE)))) |
Dining.kif 674-680 |
|
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners