Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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 944-945
(instance yearOfFounding BinaryPredicate) Mid-level-ontology.kif 946-946 year of founding is an instance of binary predicate
(domain yearOfFounding 1 Organization) Mid-level-ontology.kif 947-947 The number 1 argument of year of founding is an instance of organization
(domain yearOfFounding 2 Integer) Mid-level-ontology.kif 948-948 The number 2 argument of year of founding is an instance of integer

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


(format EnglishLanguage yearOfFounding "%2 is %n a year of founding of %1") domainEnglishFormat.kif 2632-2632
(format ChineseTraditionalLanguage yearOfFounding "%2 %n 是 %1 的 year 資金") domainEnglishFormat.kif 2633-2633
(format ChineseLanguage yearOfFounding "%2 %n 是 %1 的 year 资金") domainEnglishFormat.kif 2634-2634
(termFormat EnglishLanguage yearOfFounding "year of founding") domainEnglishFormat.kif 63764-63764
(termFormat ChineseTraditionalLanguage yearOfFounding "建立年份") domainEnglishFormat.kif 63765-63765
(termFormat ChineseLanguage yearOfFounding "建立年份") domainEnglishFormat.kif 63766-63766

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


(=>
    (yearOfFounding ?O ?Y)
    (dateEstablished ?O
        (YearFn ?Y)))		 Mid-level-ontology.kif 950-953 If X is a year of founding of Y, then the year X is a date established of Y
(<=>
    (yearOfFounding ?O ?Y)
    (exists (?F ?YEAR)
        (and
            (overlapsTemporally
                (WhenFn ?F) ?YEAR)
            (instance ?YEAR
                (YearFn ?Y))
            (instance ?F Founding)
            (result ?F ?O))))		 Mid-level-ontology.kif 958-965 X is a year of founding of Y if, only if there exist Z, W such that W overlaps the time of existence of Z, W is an instance of the year X, Z is an instance of founding, and Y is a result of Z


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners