more pictures...| LongAndThin
more pictures... |
| appearance as argument number 1 |
|
| (documentation LongAndThin EnglishLanguage "This ShapeAttribute describes a three dimensional Object that is markedly longer in one dimension than in the other two.") | Mid-level-ontology.kif 2731-2733 | |
| (externalImage LongAndThin "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0a/ Salisbury_Road_Traffic_Light.jpg") | pictureList.kif 11402-11402 | |
| (externalImage LongAndThin "http://upload.wikimedia.org/wikipedia/commons/ 1/ 11/ Sexy_dancer_01.jpg") | pictureList.kif 11401-11401 | |
| (externalImage LongAndThin "http://upload.wikimedia.org/wikipedia/commons/ 1/ 1d/ Giraffe_Staring.jpg") | pictureList.kif 11399-11399 | |
| (externalImage LongAndThin "http://upload.wikimedia.org/wikipedia/commons/ 8/ 8e/ Nails.jpg") | pictureList.kif 11408-11408 | |
| (externalImage LongAndThin "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9b/ Ares-V_%28Feb_2008%29.jpg") | pictureList.kif 11404-11404 | |
| (externalImage LongAndThin "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9f/ Giraffe_standing.jpg") | pictureList.kif 11400-11400 | |
| (externalImage LongAndThin "http://upload.wikimedia.org/wikipedia/commons/ a/ ae/ Mechanical_pencil.jpg") | pictureList.kif 10123-10123 | |
| (externalImage LongAndThin "http://upload.wikimedia.org/wikipedia/commons/ c/ c4/ Syringe_with_needle_and_needle_cap.jpeg") | pictureList.kif 11407-11407 | |
| (externalImage LongAndThin "http://upload.wikimedia.org/wikipedia/commons/ e/ e3/ Space_Needle.jpg") | pictureList.kif 11405-11405 | |
| (externalImage LongAndThin "http://upload.wikimedia.org/wikipedia/commons/ e/ e8/ Proton_Zvezda.jpg") | pictureList.kif 11403-11403 | |
| (externalImage LongAndThin "http://upload.wikimedia.org/wikipedia/commons/ e/ ed/ Colored_pencil%28red_and_blue%29.jpg") | pictureList.kif 11398-11398 | |
| (instance LongAndThin ShapeAttribute) | Mid-level-ontology.kif 2735-2735 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage LongAndThin "又长又瘦") | domainEnglishFormat.kif 34962-34962 | |
| (termFormat ChineseTraditionalLanguage LongAndThin "又長又瘦") | domainEnglishFormat.kif 34961-34961 | |
| (termFormat EnglishLanguage LongAndThin "long and thin") | domainEnglishFormat.kif 34960-34960 |
| antecedent |
|
|
| (=> (and (instance ?HR Reel) (instance ?K Keeping) (instance ?H CorpuscularObject) (attribute ?H LongAndThin) (attribute ?H Pliable) (instrument ?K ?HR) (patient ?K ?H)) (exists (?P) (and (part ?P ?H) (meetsSpatially ?P ?HR)))) |
Cars.kif 4303-4315 | |
| (=> (and (instance ?HR Reel) (instance ?K Keeping) (instance ?H CorpuscularObject) (attribute ?H LongAndThin) (attribute ?H Pliable) (instrument ?K ?HR) (patient ?K ?H)) (exists (?R) (and (instance ?R Rotating) (patient ?R ?HR) (subProcess ?R ?K)))) |
Cars.kif 4317-4330 | |
| (=> (attribute ?F LongAndThin) (and (side ?S1 ?F) (side ?S2 ?F) (meetsSpatially ?S1 ?S2) (not (equal ?S1 ?S2)) (length ?F (MeasureFn ?HF ?U)) (length ?S1 (MeasureFn ?H1 ?U)) (length ?S2 (MeasureFn ?H2 ?U)) (lessThan ?H1 (MultiplicationFn 3 ?HF)) (lessThan ?H2 (MultiplicationFn 3 ?HF)))) |
Mid-level-ontology.kif 2737-2748 |
| consequent |
|
|
| (=> (and (instance ?X Pasta) (not (exists (?Y) (and (instance ?Y Pasta) (part ?Y ?X))))) (attribute ?X LongAndThin)) |
Food.kif 618-626 | |
| (=> (and (instance ?X Spaghetti) (not (exists (?Y) (and (instance ?Y Spaghetti) (part ?Y ?X))))) (attribute ?X LongAndThin)) |
Food.kif 899-907 | |
| (=> (instance ?B Baton) (attribute ?B LongAndThin)) |
Mid-level-ontology.kif 2795-2797 | |
| (=> (instance ?L LeafSpring) (attribute ?L LongAndThin)) |
Cars.kif 898-900 | |
| (=> (instance ?R Rod) (attribute ?R LongAndThin)) |
Cars.kif 4142-4144 | |
| (=> (instance ?X Reel) (hasPurpose ?X (exists (?K ?H) (and (instance ?K Keeping) (instance ?H CorpuscularObject) (attribute ?H LongAndThin) (attribute ?H Pliable) (instrument ?K ?X) (patient ?K ?H))))) |
Cars.kif 4291-4301 | |
| (=> (physicalEnd ?E ?O) (attribute ?O LongAndThin)) |
Mid-level-ontology.kif 1201-1203 | |
| (=> (physicalEnd ?E ?O) (not (attribute ?E LongAndThin))) |
Mid-level-ontology.kif 1205-1208 |
|
|
|