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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ImmediateFutureFn
ImmediateFutureFn

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2745-2746
No TPTP formula. May not be expressible in strict first order. Merge.kif 7866-7868
No TPTP formula. May not be expressible in strict first order. Merge.kif 7863-7863 The number 1 argument of immediate future is an instance of time position
No TPTP formula. May not be expressible in strict first order. Merge.kif 7860-7860 Immediate future is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7862-7862 Immediate future is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7861-7861 Immediate future is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 7864-7864 The range of immediate future is an instance of time interval

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 463-463
No TPTP formula. May not be expressible in strict first order. english_format.kif 472-472
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29257-29257 "眼前的未来" is the printable form of immediate future in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 464-464 "紧接未来函数" is the printable form of immediate future in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29256-29256 "眼前的未來" is the printable form of immediate future in ChineseTraditionalLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29255-29255 "immediate future" is the printable form of immediate future in english language

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3219-3233
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1932-1946
No TPTP formula. May not be expressible in strict first order. Geography.kif 6354-6368
No TPTP formula. May not be expressible in strict first order. Cars.kif 773-785
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1714-1734
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3897-3911
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3913-3927
No TPTP formula. May not be expressible in strict first order. Cars.kif 1973-1985
No TPTP formula. May not be expressible in strict first order. Geography.kif 6406-6420

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


No TPTP formula. May not be expressible in strict first order. Government.kif 725-740
No TPTP formula. May not be expressible in strict first order. Government.kif 701-706
No TPTP formula. May not be expressible in strict first order. Government.kif 708-713
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1421-1434
No TPTP formula. May not be expressible in strict first order. Cars.kif 1256-1267
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2318-2327
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27929-27936
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4004-4017
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4028-4038
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 391-401
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28232-28240
No TPTP formula. May not be expressible in strict first order. Merge.kif 9511-9526
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 428-436
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 133-140
No TPTP formula. May not be expressible in strict first order. engineering.kif 934-947
No TPTP formula. May not be expressible in strict first order. Geography.kif 5388-5395
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2755-2762
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1369-1384
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1275-1284
No TPTP formula. May not be expressible in strict first order. emotion.kif 1374-1389
No TPTP formula. May not be expressible in strict first order. emotion.kif 1405-1420
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15202-15217
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15183-15198
No TPTP formula. May not be expressible in strict first order. Weather.kif 702-707
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 408-416

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2726-2726 Andean community of nations is a conventional long name of "Andean Community of Nations" holds during immediately after the day 1
No TPTP formula. May not be expressible in strict first order. Government.kif 2706-2706 Agency for the french speaking community is a conventional long name of "Agency for the French-Speaking Community" holds during immediately after the year 1996


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners