Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - FutureFn
FutureFn

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2743-2744
No TPTP formula. May not be expressible in strict first order. Merge.kif 8627-8628
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1469-1470
No TPTP formula. May not be expressible in strict first order. Merge.kif 8624-8624 The number 1 argument of future is an instance of time position
No TPTP formula. May not be expressible in strict first order. Merge.kif 8621-8621 Future is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8623-8623 Future is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8622-8622 Future is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 8625-8625 The range of 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 461-461
No TPTP formula. May not be expressible in strict first order. english_format.kif 467-467
No TPTP formula. May not be expressible in strict first order. french_format.kif 267-267
No TPTP formula. May not be expressible in strict first order. relations-it.txt 115-115
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2057-2057
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 219-219
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 273-273
No TPTP formula. May not be expressible in strict first order. relations-de.txt 602-602
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 155-155
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 288-288
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 294-294
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 240-240
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25315-25315
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 462-462
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25314-25314
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25313-25313
No TPTP formula. May not be expressible in strict first order. terms-de.txt 186-186
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 241-241

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15426-15429
No TPTP formula. May not be expressible in strict first order. Government.kif 510-517
No TPTP formula. May not be expressible in strict first order. Merge.kif 10362-10377
No TPTP formula. May not be expressible in strict first order. Merge.kif 12196-12212
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. Medicine.kif 3631-3647
No TPTP formula. May not be expressible in strict first order. Merge.kif 12455-12461
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9830-9841
No TPTP formula. May not be expressible in strict first order. Merge.kif 13411-13416
No TPTP formula. May not be expressible in strict first order. Media.kif 153-160
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 468-483
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23754-23762
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11026-11038
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11046-11058
No TPTP formula. May not be expressible in strict first order. WMD.kif 1046-1059
No TPTP formula. May not be expressible in strict first order. Merge.kif 8634-8636
No TPTP formula. May not be expressible in strict first order. Merge.kif 8630-8632
No TPTP formula. May not be expressible in strict first order. Merge.kif 8648-8650
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13752-13772
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23744-23752

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Media.kif 2503-2506 Serbia is an instance of european nation and a time position is an instance of the day 5 of month the month June holds during after the time position
No TPTP formula. May not be expressible in strict first order. Media.kif 2498-2501 Serbia is an instance of independent state and a time position is an instance of the day 5 of month the month June holds during after the time position
No TPTP formula. May not be expressible in strict first order. Media.kif 2508-2511 Serbia has &ames$"name" "Republic of Serbia" and a time position is an instance of the day 5 of month the month June holds during after the time position
No TPTP formula. May not be expressible in strict first order. Media.kif 2530-2533 A time position is an instance of the day 3 of month the month June and Montenegro is an instance of european nation holds during after the time position
No TPTP formula. May not be expressible in strict first order. Media.kif 2525-2528 A time position is an instance of the day 3 of month the month June and Montenegro is an instance of independent state holds during after the time position
No TPTP formula. May not be expressible in strict first order. Media.kif 2535-2538 A time position is an instance of the day 3 of month the month June and Montenegro has &ames$"name" "Montenegro" holds during after the time position
No TPTP formula. May not be expressible in strict first order. Media.kif 2548-2552 A time position is an instance of the day 3 of month the month June and serbia and montenegro is not an instance of independent state holds during 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