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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 7975-7978
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 7972-7972 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 7973-7973 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 7970-7970 duration is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 7971-7971 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 20697-20697
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 20696-20696
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20695-20695
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 3987-4007
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6856-6863
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 157-168
No TPTP formula. May not be expressible in strict first order. Weather.kif 1534-1541
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1513-1518
No TPTP formula. May not be expressible in strict first order. Medicine.kif 455-471
No TPTP formula. May not be expressible in strict first order. Merge.kif 9584-9588
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. Weather.kif 1514-1521
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 2102-2111
No TPTP formula. May not be expressible in strict first order. Medicine.kif 6014-6034
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15411-15417
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18748-18774
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4082-4086

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 2364-2369
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17834-17846
No TPTP formula. May not be expressible in strict first order. Merge.kif 9171-9176
No TPTP formula. May not be expressible in strict first order. Merge.kif 9164-9169
No TPTP formula. May not be expressible in strict first order. Merge.kif 7554-7558
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 2249-2253
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 1890-1894
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 769-779
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 9504-9514
No TPTP formula. May not be expressible in strict first order. Economy.kif 4081-4083
No TPTP formula. May not be expressible in strict first order. Weather.kif 2408-2412
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1379-1393
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1363-1377
No TPTP formula. May not be expressible in strict first order. Merge.kif 7987-7997
No TPTP formula. May not be expressible in strict first order. Merge.kif 8868-8870
No TPTP formula. May not be expressible in strict first order. Merge.kif 8872-8874
No TPTP formula. May not be expressible in strict first order. Merge.kif 9334-9336
No TPTP formula. May not be expressible in strict first order. Weather.kif 2019-2031
No TPTP formula. May not be expressible in strict first order. Economy.kif 4053-4055

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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 3.0 is open source software produced by Articulate Software and its partners