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

Formal Language: 



KB Term:  Term intersection
English Word: 

  yearOfFounding

Sigma KEE - yearOfFounding
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

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


(<=>
    (yearOfFounding ?O ?Y)
    (exists (?F)
        (and
            (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