| appearance as argument number 1 |
|
|
| (subclass Man Human) | Merge.kif 14961-14961 | Man is a subclass of human |
| (documentation Man EnglishLanguage "The class of Male Humans.") | Merge.kif 14962-14962 | 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 |
|
|
| (partition Human Man Woman) | Merge.kif 14957-14957 | Human is exhaustively partitioned into man and woman |
| (subclass Boy Man) | Mid-level-ontology.kif 334-334 | Boy is a subclass of man |
| (instance JesusOfNazareth Man) | Media.kif 1865-1865 | Jesus of Nazareth is an instance of man |
| (termFormat EnglishLanguage Man "man") | domainEnglishFormat.kif 35903-35903 | Jesus of Nazareth is an instance of man |
| (termFormat ChineseTraditionalLanguage Man "人") | domainEnglishFormat.kif 35904-35904 | Jesus of Nazareth is an instance of man |
| (termFormat ChineseLanguage Man "人") | domainEnglishFormat.kif 35905-35905 | Jesus of Nazareth is an instance of man |
| appearance as argument number 3 |
|
|
| (domain brother 1 Man) | Merge.kif 16862-16862 | The number 1 argument of brother is an instance of man |
| (domain husband 1 Man) | Merge.kif 16930-16930 | The number 1 argument of husband is an instance of man |
| (domain wife 2 Man) | Merge.kif 16940-16940 | The number 2 argument of wife is an instance of man |
| (domain grandfather 2 Man) | Mid-level-ontology.kif 25370-25370 | The number 2 argument of grandfather is an instance of man |
| (domain nephew 1 Man) | Mid-level-ontology.kif 25393-25393 | The number 1 argument of nephew is an instance of man |
| (domain uncle 1 Man) | Mid-level-ontology.kif 25421-25421 | The number 1 argument of uncle is an instance of man |
| (domain stepfather 2 Man) | Mid-level-ontology.kif 25437-25437 | The number 2 argument of stepfather is an instance of man |
| antecedent |
|
|
| (=> (instance ?MAN Man) (attribute ?MAN Male)) |
Merge.kif 14964-14966 | 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 25310-25314 | 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 25316-25320 | If X is a parent of Y and Y is an instance of man, then Y is the son of X |
| (=> (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 |
| consequent |
|
|
| (=> (instance ?H Jallabiyyah) (hasPurpose ?H (exists (?M) (and (instance ?M Man) (wears ?M ?H))))) |
ArabicCulture.kif 437-443 | 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 449-455 | 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 |
|
|
|