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 8013-8014
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 8010-8010 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 8007-8007 End is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8009-8009 End is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8008-8008 End is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 8011-8011 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 22042-22042
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 22041-22041
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22040-22040
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 8086-8094
No TPTP formula. May not be expressible in strict first order. Merge.kif 8054-8062
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22920-22925
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29595-29604
No TPTP formula. May not be expressible in strict first order. Merge.kif 12383-12397
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 1087-1099
No TPTP formula. May not be expressible in strict first order. Merge.kif 11647-11654
No TPTP formula. May not be expressible in strict first order. Merge.kif 12431-12440
No TPTP formula. May not be expressible in strict first order. Economy.kif 2456-2466
No TPTP formula. May not be expressible in strict first order. Merge.kif 8354-8364
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 8262-8267
No TPTP formula. May not be expressible in strict first order. Merge.kif 8269-8279
No TPTP formula. May not be expressible in strict first order. Merge.kif 12804-12810
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2669-2685
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2623-2639
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2687-2703
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2641-2659
No TPTP formula. May not be expressible in strict first order. Merge.kif 8025-8030
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 834-842
No TPTP formula. May not be expressible in strict first order. Merge.kif 8382-8384
No TPTP formula. May not be expressible in strict first order. Merge.kif 8016-8023
No TPTP formula. May not be expressible in strict first order. Merge.kif 8339-8343
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1270-1284

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 12466-12473 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 655-667
No TPTP formula. May not be expressible in strict first order. Media.kif 1936-1941
No TPTP formula. May not be expressible in strict first order. Media.kif 1943-1948
No TPTP formula. May not be expressible in strict first order. Merge.kif 15515-15532
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21495-21506
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17143-17164
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 12656-12669
No TPTP formula. May not be expressible in strict first order. Merge.kif 12616-12629
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 12360-12367
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16343-16353
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17386-17397
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17427-17439
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 16363-16373
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21395-21403
No TPTP formula. May not be expressible in strict first order. Merge.kif 13933-13941
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23768-23779
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23789-23800
No TPTP formula. May not be expressible in strict first order. Medicine.kif 754-765
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17112-17117

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