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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CalendarText
CalendarText(calendar)

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


(documentation CalendarText ChineseLanguage "representation 是以一或多 Days 的表格方式呈现. 它通常是以周,月,年 来区分。") ComputingBrands.kif 2291-2291
(documentation CalendarText ChineseTraditionalLanguage "representation 是以一或多 Days 的表格方式呈現. 它通常是以周,月,年 來區分。") ComputingBrands.kif 2290-2290
(documentation CalendarText EnglishLanguage "A representation of one or more Days in a tabular form. It generally has groupings by week, month or year.") ComputingBrands.kif 2288-2289
(documentation CalendarText JapaneseLanguage "表形式の1つ以上の&%Daysの&%representation。 通常、週、月、または年ごとにグループ分けされている。") ComputingBrands.kif 2292-2293
(subclass CalendarText Text) ComputingBrands.kif 2287-2287 Calendar is a subclass of text

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


(termFormat ChineseLanguage CalendarText "日历") ComputingBrands.kif 2304-2304
(termFormat ChineseTraditionalLanguage CalendarText "日曆") ComputingBrands.kif 2303-2303
(termFormat EnglishLanguage CalendarText "calendar") ComputingBrands.kif 2302-2302
(termFormat JapaneseLanguage CalendarText "カレンダー") ComputingBrands.kif 2305-2305

antecedent
-------------------------


(=>
    (instance ?C CalendarText)
    (exists (?D)
        (and
            (instance ?D Day)
            (refers ?C ?D))))
ComputingBrands.kif 2295-2300

consequent
-------------------------


(=>
    (instance ?C CalendaringProgram)
    (hasPurpose ?C
        (exists (?T ?P)
            (and
                (instance ?T CalendarText)
                (programRunning ?P ?C)
                (result ?P ?T)))))
ComputingBrands.kif 2320-2327


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