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. Merge.kif 12058-12059
No TPTP formula. May not be expressible in strict first order. Merge.kif 12054-12056
No TPTP formula. May not be expressible in strict first order. Merge.kif 12061-12062
No TPTP formula. May not be expressible in strict first order. Merge.kif 12051-12051 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 12048-12048 Immediate future is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 12050-12050 Immediate future is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 12049-12049 Immediate future is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 12052-12052 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 655-655
No TPTP formula. May not be expressible in strict first order. english_format.kif 656-656
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29257-29257 "眼前的未来" is the printable form of immediate future in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 464-464 "紧接未来函数" is the printable form of immediate future in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29256-29256 "眼前的未來" is the printable form of immediate future in ChineseTraditionalLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29255-29255 "immediate future" is the printable form of immediate future in english language

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3060-3074
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1920-1928
No TPTP formula. May not be expressible in strict first order. Geography.kif 6338-6352
No TPTP formula. May not be expressible in strict first order. Cars.kif 773-785
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1719-1739
No TPTP formula. May not be expressible in strict first order. Cars.kif 1973-1985
No TPTP formula. May not be expressible in strict first order. Geography.kif 6390-6404

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


No TPTP formula. May not be expressible in strict first order. Government.kif 732-747
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. Government.kif 715-720
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1426-1439
No TPTP formula. May not be expressible in strict first order. Cars.kif 1256-1267
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2320-2329
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27936-27943
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. Mid-level-ontology.kif 28239-28247
No TPTP formula. May not be expressible in strict first order. Merge.kif 14122-14137
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 428-437
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 934-947
No TPTP formula. May not be expressible in strict first order. Geography.kif 5372-5379
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2755-2762
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1370-1386
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1276-1285
No TPTP formula. May not be expressible in strict first order. emotion.kif 1369-1384
No TPTP formula. May not be expressible in strict first order. emotion.kif 1400-1415
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15203-15218
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15184-15199
No TPTP formula. May not be expressible in strict first order. Weather.kif 703-708
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 408-416
No TPTP formula. May not be expressible in strict first order. Geography.kif 6104-6114
No TPTP formula. May not be expressible in strict first order. Geography.kif 2618-2630

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 2732-2732 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 2712-2712 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 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners