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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SecondDuration
SecondDuration(second duration)leap_second, s, sec, second

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2494-2496
No TPTP formula. May not be expressible in strict first order. Merge.kif 6722-6726
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1189-1192
No TPTP formula. May not be expressible in strict first order. Merge.kif 6720-6720 Second duration is an instance of systeme international unit
No TPTP formula. May not be expressible in strict first order. Merge.kif 6719-6719 Second duration is an instance of time duration
No TPTP formula. May not be expressible in strict first order. Merge.kif 6718-6718 Second duration is an instance of unit of duration

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 9482-9482 Second is internally related to second duration
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51811-51811 Second is internally related to second duration
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51810-51810 Second is internally related to second duration
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51809-51809 Second is internally related to second duration

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 1534-1541

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 2394-2406
No TPTP formula. May not be expressible in strict first order. Weather.kif 2612-2629
No TPTP formula. May not be expressible in strict first order. Weather.kif 2717-2734
No TPTP formula. May not be expressible in strict first order. Weather.kif 2682-2699
No TPTP formula. May not be expressible in strict first order. Weather.kif 2647-2664
No TPTP formula. May not be expressible in strict first order. Weather.kif 2293-2310
No TPTP formula. May not be expressible in strict first order. Merge.kif 9487-9489