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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TimeIntervalFn
TimeIntervalFn

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2729-2731
No TPTP formula. May not be expressible in strict first order. Merge.kif 7717-7720
No TPTP formula. May not be expressible in strict first order. Merge.kif 7713-7713 The number 1 argument of time interval is an instance of time point
No TPTP formula. May not be expressible in strict first order. Merge.kif 7714-7714 The number 2 argument of time interval is an instance of time point
No TPTP formula. May not be expressible in strict first order. Merge.kif 7710-7710 Time interval is an instance of binary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 7712-7712 Time interval is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7711-7711 Time interval is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7715-7715 The range of time interval is an instance of time interval

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 453-453
No TPTP formula. May not be expressible in strict first order. english_format.kif 462-462
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 454-454 "时段函数" is the printable form of time interval in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58063-58063 "时间间隔" is the printable form of time interval in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58062-58062 "時間間隔" is the printable form of time interval in ChineseTraditionalLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58061-58061 "time interval" is the printable form of time interval in english language

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 7722-7730
No TPTP formula. May not be expressible in strict first order. Merge.kif 7732-7741
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11641-11647

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


No TPTP formula. May not be expressible in strict first order. Media.kif 1938-1943
No TPTP formula. May not be expressible in strict first order. Media.kif 1945-1950
No TPTP formula. May not be expressible in strict first order. Media.kif 1961-1965
No TPTP formula. May not be expressible in strict first order. Merge.kif 7013-7017
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28095-28124
No TPTP formula. May not be expressible in strict first order. Dining.kif 665-678
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2893-2904
No TPTP formula. May not be expressible in strict first order. Merge.kif 7823-7825
No TPTP formula. May not be expressible in strict first order. Merge.kif 7792-7794
No TPTP formula. May not be expressible in strict first order. Food.kif 261-270


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners