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 8433-8435
No TPTP formula. May not be expressible in strict first order. Merge.kif 8430-8430 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 8427-8427 Immediate future is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8429-8429 Immediate future is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8428-8428 Immediate future is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 8431-8431 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 9407-9429
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9468-9490
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 1289-1312
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 10063-10078
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10041-10056
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 724-739
No TPTP formula. May not be expressible in strict first order. Government.kif 700-705
No TPTP formula. May not be expressible in strict first order. Government.kif 707-712
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 999-1012
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. Mid-level-ontology.kif 29146-29153
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 29457-29465
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 10130-10145
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 24425-24446
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 10508-10517
No TPTP formula. May not be expressible in strict first order. emotion.kif 1401-1419
No TPTP formula. May not be expressible in strict first order. emotion.kif 1435-1453

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 2750-2750 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 2771-2774 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 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