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 7990-7992
No TPTP formula. May not be expressible in strict first order. Merge.kif 7987-7987 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 7984-7984 Immediate future is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7986-7986 Immediate future is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7985-7985 Immediate future is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 7988-7988 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 29272-29272
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 464-464
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29271-29271
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29270-29270

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3217-3231
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 774-786
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1720-1740
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3892-3906
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3908-3922
No TPTP formula. May not be expressible in strict first order. Cars.kif 1974-1986
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 1427-1440
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4402-4411
No TPTP formula. May not be expressible in strict first order. Cars.kif 1257-1268
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2319-2328
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27966-27973
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4043-4055
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3999-4012
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4021-4034
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4063-4073
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. ComputingBrands.kif 4486-4496
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28268-28276
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4418-4427
No TPTP formula. May not be expressible in strict first order. Merge.kif 9635-9650
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 938-951
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4371-4381
No TPTP formula. May not be expressible in strict first order. Geography.kif 5387-5394
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2756-2763
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

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