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 7891-7894
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 7888-7888 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 7889-7889 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 7886-7886 duration is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 7887-7887 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 20685-20685
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 20684-20684
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20683-20683
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. Mid-level-ontology.kif 5886-5893
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. Merge.kif 9447-9451
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. Mid-level-ontology.kif 13910-13916
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4077-4081

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 16317-16329
No TPTP formula. May not be expressible in strict first order. Merge.kif 9057-9062
No TPTP formula. May not be expressible in strict first order. Merge.kif 9050-9055
No TPTP formula. May not be expressible in strict first order. Merge.kif 7510-7514
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. Dining.kif 1044-1059
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2953-2957
No TPTP formula. May not be expressible in strict first order. Merge.kif 9367-9377
No TPTP formula. May not be expressible in strict first order. Economy.kif 3760-3762
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 7903-7913
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1687-1694
No TPTP formula. May not be expressible in strict first order. Merge.kif 8754-8756
No TPTP formula. May not be expressible in strict first order. Merge.kif 8758-8760
No TPTP formula. May not be expressible in strict first order. Merge.kif 9220-9222
No TPTP formula. May not be expressible in strict first order. Weather.kif 1630-1642

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