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

Formal Language: 



KB Term:  Term intersection
English Word: 

  duration

Sigma KEE - duration
duration

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2688-2690
No TPTP formula. May not be expressible in strict first order. Merge.kif 7905-7908
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1411-1413
No TPTP formula. May not be expressible in strict first order. Merge.kif 7902-7902 The number 1 argument of duration is an instance of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 7903-7903 The number 2 argument of duration is an instance of time duration
No TPTP formula. May not be expressible in strict first order. Merge.kif 7900-7900 duration is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 7901-7901 duration is an instance of total valued relation

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 413-413
No TPTP formula. May not be expressible in strict first order. english_format.kif 419-419
No TPTP formula. May not be expressible in strict first order. french_format.kif 241-241
No TPTP formula. May not be expressible in strict first order. relations-it.txt 85-85
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2035-2035
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 193-193
No TPTP formula. May not be expressible in strict first order. relations-cb.txt 119-119
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 246-246
No TPTP formula. May not be expressible in strict first order. relations-de.txt 536-536
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 125-125
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 262-262
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 261-261
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 185-185
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20688-20688
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 414-414
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20687-20687
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20686-20686
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 186-186

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 3984-4004
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5919-5926
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 155-166
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1497-1502
No TPTP formula. May not be expressible in strict first order. Medicine.kif 466-482
No TPTP formula. May not be expressible in strict first order. Merge.kif 9463-9467
No TPTP formula. May not be expressible in strict first order. Media.kif 611-617
No TPTP formula. May not be expressible in strict first order. emotion.kif 2016-2029
No TPTP formula. May not be expressible in strict first order. emotion.kif 2104-2113
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5997-6017
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14040-14046
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4064-4068

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 1975-1980
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16447-16459
No TPTP formula. May not be expressible in strict first order. Merge.kif 9073-9078
No TPTP formula. May not be expressible in strict first order. Merge.kif 9066-9071
No TPTP formula. May not be expressible in strict first order. Merge.kif 7524-7528
No TPTP formula. May not be expressible in strict first order. Media.kif 538-547
No TPTP formula. May not be expressible in strict first order. Media.kif 473-482
No TPTP formula. May not be expressible in strict first order. Media.kif 559-568
No TPTP formula. May not be expressible in strict first order. Weather.kif 1860-1864
No TPTP formula. May not be expressible in strict first order. Music.kif 118-124
No TPTP formula. May not be expressible in strict first order. Catalog.kif 467-492
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1759-1763
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 660-670
No TPTP formula. May not be expressible in strict first order. Dining.kif 1044-1059
No TPTP formula. May not be expressible in strict first order. Merge.kif 9383-9393
No TPTP formula. May not be expressible in strict first order. Economy.kif 3744-3746
No TPTP formula. May not be expressible in strict first order. Weather.kif 2019-2023
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1270-1284
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1254-1268
No TPTP formula. May not be expressible in strict first order. Merge.kif 7917-7927
No TPTP formula. May not be expressible in strict first order. Merge.kif 8770-8772
No TPTP formula. May not be expressible in strict first order. Merge.kif 8774-8776
No TPTP formula. May not be expressible in strict first order. Merge.kif 9236-9238
No TPTP formula. May not be expressible in strict first order. Weather.kif 1630-1642
No TPTP formula. May not be expressible in strict first order. Economy.kif 3716-3718

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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