| appearance as argument number 1 |
|
|
| (subclass Man Human) | Merge.kif 14824-14824 | Man is a subclass of human |
| (documentation Man EnglishLanguage "The class of Male Humans.") | Merge.kif 14825-14825 | Man is a subclass of human |
| (externalImage Man "http://articulatesoftware.com/SUMOpictures/people/male/ men_2/ man_02.png") | pictureList.kif 577-577 | Man is a subclass of human |
| (externalImage Man "http://upload.wikimedia.org/wikipedia/commons/8/89/Pioneer_plaque_line_drawing_of_a_human_male.svg") | pictureList.kif 3157-3157 | Man is a subclass of human |
| (externalImage Man "http://upload.wikimedia.org/wikipedia/commons/f/fd/Symbol_mars.svg") | pictureList.kif 3158-3158 | Man is a subclass of human |
| (externalImage Man "http://upload.wikimedia.org/wikipedia/commons/2/22/Da_Vinci_Vitruve_Luc_Viatour.jpg") | pictureList.kif 3159-3159 | Man is a subclass of human |
| appearance as argument number 2 |
|
|
| (instance JesusOfNazareth Man) | Media.kif 1920-1920 | Jesus of Nazareth is an instance of man |
| (partition Human Man Woman) | Merge.kif 14820-14820 | Human is exhaustively partitioned into man and woman |
| (subclass Boy Man) | Mid-level-ontology.kif 347-347 | Boy is a subclass of man |
| (termFormat EnglishLanguage Man "man") | domainEnglishFormat.kif 35903-35903 | Boy is a subclass of man |
| (termFormat ChineseTraditionalLanguage Man "人") | domainEnglishFormat.kif 35904-35904 | Boy is a subclass of man |
| (termFormat ChineseLanguage Man "人") | domainEnglishFormat.kif 35905-35905 | Boy is a subclass of man |
| appearance as argument number 3 |
|
|
| (domain brother 1 Man) | Merge.kif 16703-16703 | The number 1 argument of brother is an instance of man |
| (domain husband 1 Man) | Merge.kif 16772-16772 | The number 1 argument of husband is an instance of man |
| (domain wife 2 Man) | Merge.kif 16783-16783 | The number 2 argument of wife is an instance of man |
| (domain grandfather 2 Man) | Mid-level-ontology.kif 25441-25441 | The number 2 argument of grandfather is an instance of man |
| (domain nephew 1 Man) | Mid-level-ontology.kif 25464-25464 | The number 1 argument of nephew is an instance of man |
| (domain uncle 1 Man) | Mid-level-ontology.kif 25492-25492 | The number 1 argument of uncle is an instance of man |
| (domain stepfather 2 Man) | Mid-level-ontology.kif 25508-25508 | The number 2 argument of stepfather is an instance of man |
| antecedent |
|
|
| (=> (and (instance ?H Man) (attribute ?H Mausaharati)) (hasSkill Drumming ?H)) |
ArabicCulture.kif 59-63 | If X is an instance of man and mausaharati is an attribute of X, then X has the skill to do drumming |
| (=> (and (instance ?H Man) (attribute ?H Mausaharati) (instance ?D Drumming) (agent ?D ?H) (instance ?DAY Day) (instance ?S Sunrise) (during ?S ?DAY) (earlier (WhenFn ?D) ?S)) (hasPurpose ?D (exists (?P ?SUHUR ?WU) (and (instance ?WU WakingUp) (experiencer ?WU ?P) (instance ?SUHUR Suhur) (agent ?SUHUR ?P) (earlier (WhenFn ?WU) (WhenFn ?SUHUR)) (during (WhenFn ?WU) ?DAY) (during (WhenFn ?SUHUR) ?DAY))))) |
ArabicCulture.kif 65-84 | If All of the following hold: (1) X is an instance of man (2) mausaharati is an attribute of X (3) Y is an instance of drumming (4) X is an agent of Y (5) Z is an instance of day (6) W is an instance of sunrise (7) W takes place during Z (8) the time of existence of Y happens earlier than W, then All of the following hold: (1) Y has the purpose there exist V, U (2) T such that T is an instance of waking up (3) V experiences T (4) U is an instance of suhur (5) V is an agent of U (6) the time of existence of T happens earlier than the time of existence of U (7) the time of existence of T takes place during Z (8) the time of existence of U takes place during Z |
| (=> (instance ?MAN Man) (attribute ?MAN Male)) |
Merge.kif 14827-14829 | If X is an instance of man, then male is an attribute of X |
| (=> (and (parent ?CHILD ?PARENT) (instance ?PARENT Man)) (father ?CHILD ?PARENT)) |
Mid-level-ontology.kif 25381-25385 | If X is a parent of Y and X is an instance of man, then X is a father of Y |
| (=> (and (parent ?CHILD ?PARENT) (instance ?CHILD Man)) (son ?CHILD ?PARENT)) |
Mid-level-ontology.kif 25387-25391 | If X is a parent of Y and Y is an instance of man, then Y is the son of X |
| consequent |
|
|
| (=> (instance ?H Jallabiyyah) (hasPurpose ?H (exists (?M) (and (instance ?M Man) (wears ?M ?H))))) |
ArabicCulture.kif 438-444 | If X is an instance of jallabiyyah, then X has the purpose there exists Y such that Y is an instance of man and Y wears X |
| (=> (instance ?H Dishdashah) (hasPurpose ?H (exists (?M) (and (instance ?M Man) (wears ?M ?H))))) |
ArabicCulture.kif 450-456 | If X is an instance of dishdashah, then X has the purpose there exists Y such that Y is an instance of man and Y wears X |
|
|
|