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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TwelveApostles

Sigma KEE - TwelveApostles
TwelveApostles

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


No TPTP formula. May not be expressible in strict first order. Media.kif 1951-1957
No TPTP formula. May not be expressible in strict first order. Media.kif 1950-1950 TwelveApostles一群人instance

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65630-65630

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


No TPTP formula. May not be expressible in strict first order. Media.kif 1959-1963

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Media.kif 1970-1978 有存在 时距 这样 那个 时距时距instance那个 时距 finishes了才到 JesusOfNazareth 出现 的 time那个 时距 starts了才到 TwelveApostles 出现 的 time 和 对所有 实体
No TPTP formula. May not be expressible in strict first order. Media.kif 1965-1965 TwelveApostles instance 的数量 是 greaterThanOrEqualTo 11
No TPTP formula. May not be expressible in strict first order. Media.kif 1966-1966 TwelveApostles instance 的数量 是 lessThanOrEqualTo 12


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