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 7872-7875
No TPTP formula. May not be expressible in strict first order. Merge.kif 7869-7869 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 7870-7870 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 7867-7867 duration is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 7868-7868 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. domainEnglishFormat.kif 20674-20674
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 20673-20673
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20672-20672

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5879-5886
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 9428-9432
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 13887-13893
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 16290-16302
No TPTP formula. May not be expressible in strict first order. Merge.kif 9038-9043
No TPTP formula. May not be expressible in strict first order. Merge.kif 9031-9036
No TPTP formula. May not be expressible in strict first order. Merge.kif 7491-7495
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 9348-9358
No TPTP formula. May not be expressible in strict first order. Economy.kif 3755-3757
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 7884-7894
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 8735-8737
No TPTP formula. May not be expressible in strict first order. Merge.kif 8739-8741
No TPTP formula. May not be expressible in strict first order. Merge.kif 9201-9203
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 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