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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ImmediateFutureFn

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 8004-8006
No TPTP formula. May not be expressible in strict first order. Merge.kif 8001-8001 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 7998-7998 Immediate future is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8000-8000 Immediate future is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7999-7999 Immediate future is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 8002-8002 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 29281-29281
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 29280-29280
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29279-29279

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 6447-6461
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 6499-6513

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 27974-27981
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 28276-28284
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 9655-9670
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 5402-5409
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 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