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 8468-8470
No TPTP formula. May not be expressible in strict first order. Merge.kif 8465-8465 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 8462-8462 Immediate future is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8464-8464 Immediate future is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8463-8463 Immediate future is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 8466-8466 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 29339-29339
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 29338-29338
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29337-29337

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3229-3243
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9767-9789
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9828-9850
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1926-1940
No TPTP formula. May not be expressible in strict first order. Geography.kif 6716-6730
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 3970-3984
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3986-4000
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10423-10438
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10401-10416
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 6768-6782

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


No TPTP formula. May not be expressible in strict first order. Government.kif 738-753
No TPTP formula. May not be expressible in strict first order. Government.kif 714-719
No TPTP formula. May not be expressible in strict first order. Government.kif 721-726
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 4480-4489
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 2411-2420
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29673-29680
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4121-4133
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4077-4090
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4099-4112
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4141-4151
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 4564-4574
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29994-30002
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4496-4505
No TPTP formula. May not be expressible in strict first order. Merge.kif 10178-10193
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 4449-4459
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24966-24987
No TPTP formula. May not be expressible in strict first order. Geography.kif 5619-5626
No TPTP formula. May not be expressible in strict first order. Merge.kif 10575-10584
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2848-2855

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 2791-2794 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
No TPTP formula. May not be expressible in strict first order. Government.kif 2765-2769 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 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