Boy - Sigma Knowledge base Browser

appearance as argument number 1

(subclass Boy HumanChild)	Mid-level-ontology.kif 346-346	Boy is a subclass of human child
(subclass Boy Man)	Mid-level-ontology.kif 347-347	Boy is a subclass of man
(documentation Boy EnglishLanguage "A HumanChild who is Male.")	Mid-level-ontology.kif 348-348	Boy is a subclass of man
(externalImage Boy "http://upload.wikimedia.org/wikipedia/commons/2/29/Babasteve_three_boys.jpg")	pictureList.kif 50-50	Boy is a subclass of man
(externalImage Boy "http://articulatesoftware.com/SUMOpictures/people/children/ boy.png")	pictureList.kif 287-287	Boy is a subclass of man
(externalImage Boy "http://upload.wikimedia.org/wikipedia/commons/c/cc/Young_Polish_boy.jpg")	pictureList.kif 2941-2941	Boy is a subclass of man

appearance as argument number 2

(termFormat EnglishLanguage Boy "boy")	domainEnglishFormat.kif 11825-11825
(termFormat ChineseTraditionalLanguage Boy "男孩")	domainEnglishFormat.kif 11826-11826
(termFormat ChineseLanguage Boy "男孩")	domainEnglishFormat.kif 11827-11827

antecedent

(=>
    (and
        (instance ?MIT BarMitzvah)
        (patient ?MIT ?X)
        (instance ?X Boy)
        (member ?X ?GROUP)
        (instance ?GROUP Judaism)
        (birthdate ?X ?DAY)
        (instance ?DAY
            (DayFn ?D
                (MonthFn ?M
                    (YearFn ?Y)))))
    (exists (?Y13 ?BD13)
        (and
            (instance ?Y13 Integer)
            (equal ?Y13
                (AdditionFn ?Y 13))
            (instance ?BD13
                (DayFn ?D
                    (MonthFn ?M
                        (YearFn ?Y13))))
            (equal
                (WhenFn ?MIT)
                (ImmediateFutureFn ?BD13)))))

Biography.kif 71-87

If All of the following hold: (1) X is an instance of bar mitzvah (2) Y is a patient of X (3) Y is an instance of boy (4) Y is a member of Z (5) Z is an instance of judaism (6) W is a birthdate of Y (7) W is an instance of the day V of month the month U, then there exist T and S such that T is an instance of integer and equal T and (R and 13) and S is an instance of the day V of month the month U and equal the time of existence of X and immediately after S

consequent

(=>
    (holdsDuring ?T1
        (and
            (instance ?H HumanChild)
            (attribute ?H Male)))
    (holdsDuring ?T1
        (instance ?H Boy)))

Mid-level-ontology.kif 350-355

If X is an instance of human child and male is an attribute of X holds during Y, then X is an instance of boy holds during Y

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: