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 8441-8443
No TPTP formula. May not be expressible in strict first order. Merge.kif 8438-8438 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 8435-8435 Immediate future is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8437-8437 Immediate future is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8436-8436 Immediate future is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 8439-8439 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. domainEnglishFormat.kif 29340-29340
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 29339-29339
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29338-29338

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3197-3211
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9457-9479
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9518-9540
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1931-1945
No TPTP formula. May not be expressible in strict first order. Geography.kif 6704-6718
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. Mid-level-ontology.kif 1299-1322
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3935-3949
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3951-3965
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10113-10128
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10091-10106
No TPTP formula. May not be expressible in strict first order. Cars.kif 1987-1999
No TPTP formula. May not be expressible in strict first order. Geography.kif 6756-6770

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


No TPTP formula. May not be expressible in strict first order. Government.kif 736-751
No TPTP formula. May not be expressible in strict first order. Government.kif 712-717
No TPTP formula. May not be expressible in strict first order. Government.kif 719-724
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1009-1022
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4445-4454
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 2405-2414
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29262-29269
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4086-4098
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4042-4055
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4064-4077
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4106-4116
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 4529-4539
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29583-29591
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4461-4470
No TPTP formula. May not be expressible in strict first order. Merge.kif 10141-10156
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 436-453
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 4414-4424
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24542-24563
No TPTP formula. May not be expressible in strict first order. Geography.kif 5608-5615
No TPTP formula. May not be expressible in strict first order. Merge.kif 10521-10530
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2842-2849

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 2762-2762 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
No TPTP formula. May not be expressible in strict first order. Government.kif 2783-2786 A time position is an instance of the day 1 and andean community of nations is a conventional long name of "Andean Community of Nations" 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