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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - BeginFn
BeginFn

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2697-2698
No TPTP formula. May not be expressible in strict first order. Merge.kif 8070-8071
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1420-1421
No TPTP formula. May not be expressible in strict first order. Merge.kif 8067-8067 The number 1 argument of begin is an instance of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 8064-8064 Begin is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8066-8066 Begin is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8065-8065 Begin is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 8068-8068 The range of begin 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 449-449
No TPTP formula. May not be expressible in strict first order. english_format.kif 455-455
No TPTP formula. May not be expressible in strict first order. french_format.kif 261-261
No TPTP formula. May not be expressible in strict first order. relations-it.txt 34-34
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2051-2051
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 213-213
No TPTP formula. May not be expressible in strict first order. relations-cb.txt 68-68
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 267-267
No TPTP formula. May not be expressible in strict first order. relations-de.txt 586-586
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 78-78
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 282-282
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 287-287
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 84-84
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10566-10566
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 450-450
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10565-10565
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10564-10564
No TPTP formula. May not be expressible in strict first order. terms-de.txt 180-180
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 85-85

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 8171-8179
No TPTP formula. May not be expressible in strict first order. Merge.kif 8139-8147
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24561-24566
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31514-31523
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25562-25578
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25535-25549
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 494-507
No TPTP formula. May not be expressible in strict first order. Merge.kif 12535-12549
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. ComputerInput.kif 2332-2343
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 11797-11804
No TPTP formula. May not be expressible in strict first order. Merge.kif 12585-12594
No TPTP formula. May not be expressible in strict first order. Merge.kif 8835-8842
No TPTP formula. May not be expressible in strict first order. Economy.kif 2661-2670
No TPTP formula. May not be expressible in strict first order. Economy.kif 2672-2685
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. Media.kif 587-597
No TPTP formula. May not be expressible in strict first order. Economy.kif 2818-2831
No TPTP formula. May not be expressible in strict first order. Economy.kif 2832-2851
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 8467-8477
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1415-1420
No TPTP formula. May not be expressible in strict first order. Merge.kif 8819-8826
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1746-1766

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 12620-12627 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. Mid-level-ontology.kif 7168-7181
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. Hotel.kif 688-699
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. Communications.kif 202-214
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 32626-32632
No TPTP formula. May not be expressible in strict first order. Merge.kif 3849-3856
No TPTP formula. May not be expressible in strict first order. Weather.kif 2690-2697
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25356-25365
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25383-25391
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 1035-1048
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. Merge.kif 12810-12823
No TPTP formula. May not be expressible in strict first order. Merge.kif 12770-12783
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 12510-12517
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. Mid-level-ontology.kif 17750-17760
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23012-23020

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