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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SecondDuration

 Sigma KEE - SecondDuration
SecondDuration

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 6713-6717
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 6711-6711 SecondDuration est une instance de syst�me d'unit� international
No TPTP formula. May not be expressible in strict first order. Merge.kif 6710-6710 SecondDuration est une instance de dur�e temporel
No TPTP formula. May not be expressible in strict first order. Merge.kif 6709-6709 SecondDuration est une instance de UnitOfDuration

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 9397-9397 Seconde est reli� � l'int�rieur de SUMO � SecondDuration
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51809-51809
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51808-51808
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51807-51807

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 1988-2000
No TPTP formula. May not be expressible in strict first order. Weather.kif 2206-2223
No TPTP formula. May not be expressible in strict first order. Weather.kif 2311-2328
No TPTP formula. May not be expressible in strict first order. Weather.kif 2276-2293
No TPTP formula. May not be expressible in strict first order. Weather.kif 2241-2258
No TPTP formula. May not be expressible in strict first order. Weather.kif 1887-1904
No TPTP formula. May not be expressible in strict first order. Merge.kif 9402-9404

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 7104-7106 Nombre r�el MinuteDuration(s) est nombre r�el + 60 SecondDuration(s)


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