![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
|
|
AngloromaniLanguage
|
|
|
| appearance as argument number 1 |
|
|
| (subclass MusicalInstrument Device) | Merge.kif 16310-16310 | Musical instrument is a subclass of device |
| (documentation MusicalInstrument EnglishLanguage "A Device which is manipulated by a Human and whose purpose is MakingMusic.") | Merge.kif 16311-16312 | Musical instrument is a subclass of device |
| (externalImage MusicalInstrument "http://upload.wikimedia.org/wikipedia/ commons/ a/ a7/ Celo,_instrument.gif") | pictureList-ImageNet.kif 493-493 | Musical instrument is a subclass of device |
| (externalImage MusicalInstrument "http://upload.wikimedia.org/wikipedia/ commons/ thumb/ b/ b9/ 800px_Epinette_Rouaud.JPG/ 300px-800px_Epinette_Rouaud.JPG") | pictureList-ImageNet.kif 494-494 | Musical instrument is a subclass of device |
| (externalImage MusicalInstrument "http://upload.wikimedia.org/wikipedia/ commons/ 2/ 2d/ Percusion_instrumento_Galicia.jpg") | pictureList-ImageNet.kif 495-495 | Musical instrument is a subclass of device |
| (externalImage MusicalInstrument "http://upload.wikimedia.org/wikipedia/ commons/ thumb/ 6/ 65/ Mellotron.jpg/ 180px_Mellotron.jpg") | pictureList-ImageNet.kif 496-496 | Musical instrument is a subclass of device |
| (externalImage MusicalInstrument "http://upload.wikimedia.org/wikipedia/ commons/ thumb/ e/ e8/ Classical_Guitar_two_views.jpg/ 180px_Classical_Guitar_two_views.jpg") | pictureList-ImageNet.kif 497-497 | Musical instrument is a subclass of device |
| (externalImage MusicalInstrument "http://upload.wikimedia.org/wikipedia/ commons/ thumb/ 2/ 26/ TalkingDrum.jpg/ 200px_TalkingDrum.jpg") | pictureList-ImageNet.kif 498-498 | Musical instrument is a subclass of device |
| (externalImage MusicalInstrument "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 80/ Bianzhong.jpg") | pictureList-ImageNet.kif 499-499 | Musical instrument is a subclass of device |
| (externalImage MusicalInstrument "http://upload.wikimedia.org/wikipedia/ commons/ thumb/ 2/ 22/ Octaaf0320w.JPG/ 200px_Octaaf0320w.JPG") | pictureList-ImageNet.kif 500-500 | Musical instrument is a subclass of device |
| (externalImage MusicalInstrument "http://upload.wikimedia.org/wikipedia/ commons/ thumb/ 8/ 86/ Celovic,_instrument_(size).jpg/ 429px_Celovic,_instrument_(size).jpg") | pictureList-ImageNet.kif 501-501 | Musical instrument is a subclass of device |
| (externalImage MusicalInstrument "http://upload.wikimedia.org/wikipedia/ commons/ thumb/ a/ a8/ Spirk.ogg/ mid_Spirk.ogg.jpg") | pictureList-ImageNet.kif 502-502 | Musical instrument is a subclass of device |
| (externalImage MusicalInstrument "http://upload.wikimedia.org/wikipedia/ commons/ 2/ 29/ Berda,_instrument_(size).jpg") | pictureList-ImageNet.kif 503-503 | Musical instrument is a subclass of device |
| (externalImage MusicalInstrument "http://upload.wikimedia.org/wikipedia/ commons/ thumb/ 2/ 29/ Aaclashcymbals.jpg/ 350px_Aaclashcymbals.jpg") | pictureList-ImageNet.kif 504-504 | Musical instrument is a subclass of device |
| (externalImage MusicalInstrument "http://upload.wikimedia.org/wikipedia/ commons/ 5/ 54/ Phanduri_Georgian_traditional_instrument.jpg") | pictureList-ImageNet.kif 505-505 | Musical instrument is a subclass of device |
| (externalImage MusicalInstrument "http://upload.wikimedia.org/wikipedia/ nl/ a/ af/ The_Kelstone.jpg") | pictureList-ImageNet.kif 506-506 | Musical instrument is a subclass of device |
| (externalImage MusicalInstrument "http://upload.wikimedia.org/wikipedia/ commons/ thumb/ 2/ 25/ Moonlander.jpg/ 121px_Moonlander.jpg") | pictureList-ImageNet.kif 507-507 | Musical instrument is a subclass of device |
| (externalImage MusicalInstrument "http://upload.wikimedia.org/wikipedia/ commons/ 3/ 3b/ Taoist_monk_playing_an_instrument.png") | pictureList-ImageNet.kif 508-508 | Musical instrument is a subclass of device |
| (externalImage MusicalInstrument "http://upload.wikimedia.org/wikipedia/ commons/ thumb/ 2/ 26/ Horn_(instrument).jpg/ 800px_Horn_(instrument).jpg") | pictureList-ImageNet.kif 509-509 | Musical instrument is a subclass of device |
| (externalImage MusicalInstrument "http://upload.wikimedia.org/wikipedia/ commons/ thumb/ 2/ 22/ YamahaKeyboard.jpg/ 180px_YamahaKeyboard.jpg") | pictureList-ImageNet.kif 510-510 | Musical instrument is a subclass of device |
| (externalImage MusicalInstrument "http://upload.wikimedia.org/wikipedia/ commons/ thumb/ 6/ 63/ French_horn_front.png/ 250px_French_horn_front.png") | pictureList-ImageNet.kif 511-511 | Musical instrument is a subclass of device |
| (externalImage MusicalInstrument "http://upload.wikimedia.org/wikipedia/ commons/ thumb/ d/ d8/ P_Bass.JPG/ 800px_P-Bass.JPG") | pictureList-ImageNet.kif 512-512 | Musical instrument is a subclass of device |
| (externalImage MusicalInstrument "http://upload.wikimedia.org/wikipedia/ commons/ thumb/ d/ d5/ Bronwyn_Bird_playing_the_nyckelharpa_in_concert_2007.jpg/ 180px_Bronwyn_Bird_playing_the_nyckelharpa_in_concert_2007.jpg") | pictureList-ImageNet.kif 513-513 | Musical instrument is a subclass of device |
| (externalImage MusicalInstrument "http://upload.wikimedia.org/wikipedia/ commons/ thumb/ 8/ 86/ Three_cornetts.jpg/ 180px_Three_cornetts.jpg") | pictureList-ImageNet.kif 514-514 | Musical instrument is a subclass of device |
| (externalImage MusicalInstrument "http://upload.wikimedia.org/wikipedia/ commons/ thumb/ b/ bd/ Marco_Ambrosini_playing_the_Nyckelharpa_www_ambrosini_de.jpg/ 180px_Marco_Ambrosini_playing_the_Nyckelharpa_www_ambrosini_de.jpg") | pictureList-ImageNet.kif 515-515 | Musical instrument is a subclass of device |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain LessonOnInstrumentFn 1 MusicalInstrument) | Offers.kif 199-199 | The number 1 argument of LessonOnInstrumentFn is an instance of musical instrument |
| antecedent |
|
|
| (=> (instance ?INSTRUMENT MusicalInstrument) (capability MakingMusic instrument ?INSTRUMENT)) |
Merge.kif 16314-16316 | If X is an instance of musical instrument, then X is capable of doing making music as a instrument |
| consequent |
|
|
| (=> (instance ?M MakingInstrumentalMusic) (exists (?I) (and (instance ?I MusicalInstrument) (instrument ?M ?I)))) |
Merge.kif 14018-14023 | If X is an instance of instrumental music, then there exists Y such that Y is an instance of musical instrument and Y is an instrument for X |
| (=> (and (musicGenre ?MR AcousticMusic) (record ?MR ?MM)) (not (exists (?I ?ED) (and (instance ?I MusicalInstrument) (instrument ?MM ?I) (instance ?ED ElectricDevice) (part ?ED ?I))))) |
Music.kif 561-571 | If acoustic is in the genre X and X is a record of Y, then there don't exist Z, W such that Z is an instance of musical instrument, Z is an instrument for Y, W is an instance of electric device, and W is a part of Z |