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 11830-11830
(termFormat ChineseTraditionalLanguage Boy "男孩")	domainEnglishFormat.kif 11829-11829
(termFormat EnglishLanguage Boy "boy")	domainEnglishFormat.kif 11828-11828

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 69-85

If a process is an instance of BarMitzvah 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,
then there exist an integer and a time position such that the integer is an instance of integer and the integer is equal to (another integer and 13) and the time position is an instance of the day the positive integer and the time of existence of the process is equal to 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: