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 8629-8631
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1471-1472
No TPTP formula. May not be expressible in strict first order. Merge.kif 8626-8626 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 8623-8623 Immediate future is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8625-8625 Immediate future is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8624-8624 Immediate future is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 8627-8627 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 469-469
No TPTP formula. May not be expressible in strict first order. french_format.kif 268-268
No TPTP formula. May not be expressible in strict first order. relations-it.txt 137-137
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2058-2058
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 220-220
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 274-274
No TPTP formula. May not be expressible in strict first order. relations-de.txt 605-605
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 176-176
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 289-289
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 295-295
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 278-278
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29360-29360
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 29359-29359
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29358-29358
No TPTP formula. May not be expressible in strict first order. terms-de.txt 187-187
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 279-279

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3227-3241
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11168-11190
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11229-11251
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2057-2071
No TPTP formula. May not be expressible in strict first order. Geography.kif 7086-7100
No TPTP formula. May not be expressible in strict first order. Cars.kif 777-792
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1320-1332
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1549-1572
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3967-3981
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3983-3997
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11886-11901
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11864-11879
No TPTP formula. May not be expressible in strict first order. Cars.kif 1971-1983
No TPTP formula. May not be expressible in strict first order. Geography.kif 7138-7152

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


No TPTP formula. May not be expressible in strict first order. Government.kif 701-716
No TPTP formula. May not be expressible in strict first order. Government.kif 677-682
No TPTP formula. May not be expressible in strict first order. Government.kif 684-689
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1035-1048
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4477-4486
No TPTP formula. May not be expressible in strict first order. Cars.kif 1252-1267
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2414-2423
No TPTP formula. May not be expressible in strict first order. Merge.kif 16052-16059
No TPTP formula. May not be expressible in strict first order. Medicine.kif 758-776
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2785-2797
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4118-4130
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4074-4087
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4096-4109
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4138-4148
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 393-403
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4561-4571
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31973-31981
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4493-4502
No TPTP formula. May not be expressible in strict first order. Merge.kif 10347-10362
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 438-455
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 1252-1265
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4446-4456
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26757-26778
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1320-1332

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 2752-2755 A time position is an instance of the day 1 of month the month October and andean community of nations is a conventional long name of "Andean Community of Nations" holds during immediately after the time position
No TPTP formula. May not be expressible in strict first order. Government.kif 2726-2730 A time position is an instance of the year 1996 and agency for the french speaking community is a conventional long name of "Agency for the French_Speaking Community" holds during immediately after the time position


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