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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - yearOfFounding

appearance as argument number 1

(documentation yearOfFounding EnglishLanguage "(yearOfFounding ?ORG ?NUMBER) means that the Organization ?ORG was founded in the year expressed in ?NUMBER.") Mid-level-ontology.kif 898-899
(domain yearOfFounding 1 Organization) Mid-level-ontology.kif 902-902
(domain yearOfFounding 2 Integer) Mid-level-ontology.kif 903-903
(instance yearOfFounding AsymmetricRelation) Mid-level-ontology.kif 901-901
(instance yearOfFounding BinaryPredicate) Mid-level-ontology.kif 900-900

appearance as argument number 2

(format ChineseLanguage yearOfFounding "%2 %n 是 %1 的 year 资金") domainEnglishFormat.kif 2639-2639
(format ChineseTraditionalLanguage yearOfFounding "%2 %n 是 %1 的 year 資金") domainEnglishFormat.kif 2638-2638
(format EnglishLanguage yearOfFounding "%2 is %n a year of founding of %1") domainEnglishFormat.kif 2637-2637
(termFormat ChineseLanguage yearOfFounding "建立年份") domainEnglishFormat.kif 63736-63736
(termFormat ChineseTraditionalLanguage yearOfFounding "建立年份") domainEnglishFormat.kif 63735-63735
(termFormat EnglishLanguage yearOfFounding "year of founding") domainEnglishFormat.kif 63734-63734


    (yearOfFounding ?O ?Y)
    (exists (?F)
            (overlapsTemporally ?F
                (YearFn ?Y))
            (instance ?F Founding)
            (result ?F ?O))))
Mid-level-ontology.kif 910-916
    (yearOfFounding ?O ?Y)
    (dateEstablished ?O
        (YearFn ?Y)))
Mid-level-ontology.kif 905-908

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