Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| ShipCrewFn |
| appearance as argument number 1 |
|
| (instance ShipCrewFn UnaryFunction) | Transportation.kif 4953-4953 | Ship crew is an instance of unary function |
| (documentation ShipCrewFn EnglishLanguage "(ShipCrewFn ?BOAT) denotes the Organization consisting of the people charged with operating the WaterVehicle ?BOAT.") | Transportation.kif 4954-4956 | Ship crew is an instance of unary function |
| (domain ShipCrewFn 1 WaterVehicle) | Transportation.kif 4958-4958 | The number 1 argument of ship crew is an instance of water vehicle |
| (range ShipCrewFn Group) | Transportation.kif 4959-4959 | The range of ship crew is an instance of group |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage ShipCrewFn "the ship crew of %1") | domainEnglishFormat.kif 2269-2269 | |
| (format ChineseTraditionalLanguage ShipCrewFn "%1 的 ship 船員") | domainEnglishFormat.kif 2270-2270 | |
| (format ChineseLanguage ShipCrewFn "%1 的 ship 船员") | domainEnglishFormat.kif 2271-2271 | |
| (termFormat EnglishLanguage ShipCrewFn "ship crew") | domainEnglishFormat.kif 52660-52660 | |
| (termFormat ChineseTraditionalLanguage ShipCrewFn "船員") | domainEnglishFormat.kif 52661-52661 | |
| (termFormat ChineseLanguage ShipCrewFn "船员") | domainEnglishFormat.kif 52662-52662 |
|