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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TimeIntervalFn

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 8317-8320
No TPTP formula. May not be expressible in strict first order. Merge.kif 8313-8313 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 8314-8314 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 8310-8310 Time interval is an instance of binary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 8312-8312 Time interval is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8311-8311 Time interval is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8315-8315 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 459-459
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 454-454
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58091-58091
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58090-58090
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58089-58089

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23329-23343
No TPTP formula. May not be expressible in strict first order. Merge.kif 8322-8330
No TPTP formula. May not be expressible in strict first order. Merge.kif 8332-8341
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13506-13512

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


No TPTP formula. May not be expressible in strict first order. Media.kif 1934-1939
No TPTP formula. May not be expressible in strict first order. Media.kif 1941-1946
No TPTP formula. May not be expressible in strict first order. Media.kif 1957-1961
No TPTP formula. May not be expressible in strict first order. Merge.kif 7428-7432
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29408-29438
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 2920-2931
No TPTP formula. May not be expressible in strict first order. Merge.kif 8423-8425
No TPTP formula. May not be expressible in strict first order. Merge.kif 8392-8394
No TPTP formula. May not be expressible in strict first order. Food.kif 195-204
No TPTP formula. May not be expressible in strict first order. Weather.kif 1877-1885


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