Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  BilbaoSpain

Sigma KEE - anniversary
anniversary

appearance as argument number 1
-------------------------


(documentation anniversary EnglishLanguage "(anniversary ?PHYSICAL ?TIME) means that ?TIME is the class of TimeIntervals which mark the anniversary of ?PHYSICAL. For example, (anniversary Christmas (DayFn 25 December)) means that Christmas is celebrated each year on the 25th of December.") Mid-level-ontology.kif 24232-24235
(domain anniversary 1 Physical) Mid-level-ontology.kif 24238-24238 O argumento numero 1 de anniversary e' uma instancia de Fisico
(domainSubclass anniversary 2 Day) Mid-level-ontology.kif 24239-24239 O argumento numero 2 de anniversary e' uma sub-classe de Dia
(instance anniversary BinaryPredicate) Mid-level-ontology.kif 24236-24236 anniversary e' uma instancia de Predicado Binario
(instance anniversary TemporalRelation) Mid-level-ontology.kif 24237-24237 anniversary e' uma instancia de Relacao Temporal

appearance as argument number 2
-------------------------


(format ChineseLanguage anniversary "%2 %n 是 %1 的周年") domainEnglishFormat.kif 148-148
(format ChineseTraditionalLanguage anniversary "%2 %n 是 %1 的週年") domainEnglishFormat.kif 147-147
(format EnglishLanguage anniversary "%2 is %n an anniversary of %1") domainEnglishFormat.kif 146-146
(subrelation birthday anniversary) Mid-level-ontology.kif 24291-24291 birthday e' uma sub-relacao de anniversary
(subrelation weddingAnniversary anniversary) Mid-level-ontology.kif 24250-24250 weddingAnniversary e' uma sub-relacao de anniversary
(termFormat ChineseLanguage anniversary "周年") domainEnglishFormat.kif 7644-7644
(termFormat ChineseTraditionalLanguage anniversary "週年") domainEnglishFormat.kif 7643-7643
(termFormat EnglishLanguage anniversary "anniversary") domainEnglishFormat.kif 7642-7642


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

Show without tree


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