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. Merge.kif 8464-8466
No TPTP formula. May not be expressible in strict first order. Merge.kif 8460-8463
No TPTP formula. May not be expressible in strict first order. Merge.kif 8457-8457 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 8458-8458 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 8454-8454 Time interval is an instance of binary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 8456-8456 Time interval is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8455-8455 Time interval is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8459-8459 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 274-274
No TPTP formula. May not be expressible in strict first order. french_format.kif 263-263
No TPTP formula. May not be expressible in strict first order. relations-it.txt 300-300
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 215-215
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 195-195
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 269-269
No TPTP formula. May not be expressible in strict first order. relations-de.txt 592-592
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 336-336
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 492-492
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 10115-10115 "time interval" is the printable form of time interval in english language
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 645-645 "«فَاصِل بَيْنَ»" is the printable form of time interval in ar

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 8468-8476
No TPTP formula. May not be expressible in strict first order. Merge.kif 8478-8487
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11383-11389

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 7717-7721
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27749-27778
No TPTP formula. May not be expressible in strict first order. Dining.kif 669-682
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2887-2898
No TPTP formula. May not be expressible in strict first order. Merge.kif 8577-8579
No TPTP formula. May not be expressible in strict first order. Merge.kif 8544-8546
No TPTP formula. May not be expressible in strict first order. Food.kif 262-271


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