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 3271-3273 | |
| (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 3275-3275 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage LongAndThin "又长又瘦") | domainEnglishFormat.kif 34969-34969 | |
| (termFormat ChineseTraditionalLanguage LongAndThin "又長又瘦") | domainEnglishFormat.kif 34968-34968 | |
| (termFormat EnglishLanguage LongAndThin "long and thin") | domainEnglishFormat.kif 34967-34967 |
| 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 4261-4273 | |
| (=> (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 4275-4288 | |
| (=> (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 3277-3288 |
| 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 896-904 | |
| (=> (instance ?B Baton) (attribute ?B LongAndThin)) |
Mid-level-ontology.kif 3333-3335 | |
| (=> (instance ?L LeafSpring) (attribute ?L LongAndThin)) |
Cars.kif 889-891 | |
| (=> (instance ?R Rod) (attribute ?R LongAndThin)) |
Cars.kif 4100-4102 | |
| (=> (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 4249-4259 | |
| (=> (physicalEnd ?E ?O) (attribute ?O LongAndThin)) |
Mid-level-ontology.kif 1653-1655 | |
| (=> (physicalEnd ?E ?O) (not (attribute ?E LongAndThin))) |
Mid-level-ontology.kif 1657-1660 |
|
|
|