Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  NativityMagi
|
|
|
| appearance as argument number 1 |
|
|
| (instance NativityMagi GroupOfPeople) | Media.kif 1940-1940 | Nativity magi is an instance of group of people |
| (documentation NativityMagi EnglishLanguage "In the ChristianGospel of Matthew, the NativityMagi are Zoroastrian astrologers (GreekLanguage singular: magos) who visit the infant JesusOfNazareth, bringing him symbolic gifts of gold, frankincense, and myrrh. Matthew does not mention the number of magi, but later tradition has assumed three, based on the number of gifts described. See the article Biblical Magi in Wikipedia.") | Media.kif 1941-1949 | Nativity magi is an instance of group of people |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage NativityMagi "Nativity magi") | domainEnglishFormat.kif 65227-65227 |
| statement |
|
|
| (equal (CardinalityFn NativityMagi) 3) |
Media.kif 1950-1950 | equal the number of instances in Nativity magi and 3 |
|