Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| 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 |
|
|
| 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 25339-25343 | 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 25345-25349 | 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 |
|
