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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - EndFn
EndFn

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2699-2700
No TPTP formula. May not be expressible in strict first order. Merge.kif 8083-8084
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1422-1423
No TPTP formula. May not be expressible in strict first order. Merge.kif 8080-8080 The number 1 argument of end is an instance of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 8077-8077 End is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8079-8079 End is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8078-8078 End is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 8081-8081 The range of end is an instance of time point

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 451-451
No TPTP formula. May not be expressible in strict first order. english_format.kif 457-457
No TPTP formula. May not be expressible in strict first order. french_format.kif 262-262
No TPTP formula. May not be expressible in strict first order. relations-it.txt 92-92
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2052-2052
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 214-214
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 268-268
No TPTP formula. May not be expressible in strict first order. relations-de.txt 589-589
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 132-132
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 283-283
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 288-288
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 199-199
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22051-22051
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 452-452
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22050-22050
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22049-22049
No TPTP formula. May not be expressible in strict first order. terms-de.txt 181-181
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 200-200

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 8156-8164
No TPTP formula. May not be expressible in strict first order. Merge.kif 8124-8132
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24563-24568
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31516-31525
No TPTP formula. May not be expressible in strict first order. Merge.kif 12520-12534
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3759-3784
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1089-1101
No TPTP formula. May not be expressible in strict first order. Merge.kif 11782-11789
No TPTP formula. May not be expressible in strict first order. Merge.kif 12570-12579
No TPTP formula. May not be expressible in strict first order. Economy.kif 2696-2706
No TPTP formula. May not be expressible in strict first order. Economy.kif 2862-2877
No TPTP formula. May not be expressible in strict first order. Merge.kif 8452-8462
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1496-1518
No TPTP formula. May not be expressible in strict first order. Merge.kif 8360-8365
No TPTP formula. May not be expressible in strict first order. Merge.kif 8367-8377
No TPTP formula. May not be expressible in strict first order. Merge.kif 12943-12949
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2686-2702
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2640-2656
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2704-2720
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2658-2676
No TPTP formula. May not be expressible in strict first order. Merge.kif 8095-8100
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18692-18708
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18748-18774
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 836-844
No TPTP formula. May not be expressible in strict first order. Merge.kif 8480-8482

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12605-12612 A process is an instance of combining and an object is a resource for the process and an entity is a result of the process if and only if the object is not a part of the entity holds during the beginning of the time of existence of the process and the object is a part of the entity holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 657-669
No TPTP formula. May not be expressible in strict first order. Media.kif 1938-1943
No TPTP formula. May not be expressible in strict first order. Media.kif 1945-1950
No TPTP formula. May not be expressible in strict first order. Merge.kif 15650-15667
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23112-23123
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18530-18551
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2268-2277
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2332-2343
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2347-2354
No TPTP formula. May not be expressible in strict first order. Merge.kif 12795-12808
No TPTP formula. May not be expressible in strict first order. Merge.kif 12755-12768
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1326-1342
No TPTP formula. May not be expressible in strict first order. Merge.kif 12495-12502
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17730-17740
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18937-18948
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18978-18990
No TPTP formula. May not be expressible in strict first order. Food.kif 468-478
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17750-17760
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23012-23020
No TPTP formula. May not be expressible in strict first order. Merge.kif 14071-14079
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25416-25427
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25437-25448
No TPTP formula. May not be expressible in strict first order. Food.kif 3083-3101
No TPTP formula. May not be expressible in strict first order. Medicine.kif 745-756

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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