Boy - Sigma Knowledge base Browser

appearance as argument number 1

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

appearance as argument number 2

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

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 a process is an instance of bar mitzvah and a human is a patient of the process and the human is an instance of boy and the human is a member of a collection and the collection is an instance of judaism and a day is a birthdate of the human and the day is an instance of the day a positive integer of month the month a kind of month,
then there exist an integer and a time position such that the integer is an instance of integer and equal the integer and (another integer and 13) and the time position is an instance of the day the positive integer of month the month a kind of month and equal the time of existence of the process and immediately after the time position

consequent

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

Mid-level-ontology.kif 347-352

If an entity is an instance of human child and male is an attribute of the entity holds during a time position,
then the entity is an instance of boy holds during the time position

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: