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 7897-7898
No TPTP formula. May not be expressible in strict first order. Merge.kif 7894-7894 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 7891-7891 Begin is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7893-7893 Begin is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7892-7892 Begin is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 7895-7895 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. domainEnglishFormat.kif 10568-10568
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 10567-10567
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10566-10566

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 7998-8006
No TPTP formula. May not be expressible in strict first order. Merge.kif 7966-7974
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22452-22457
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29099-29108
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23464-23481
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23438-23452
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 496-509
No TPTP formula. May not be expressible in strict first order. Merge.kif 12160-12174
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3968-3993
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2329-2340
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1086-1098
No TPTP formula. May not be expressible in strict first order. Merge.kif 11493-11500
No TPTP formula. May not be expressible in strict first order. Merge.kif 12208-12217
No TPTP formula. May not be expressible in strict first order. Merge.kif 8632-8639
No TPTP formula. May not be expressible in strict first order. Economy.kif 2442-2455
No TPTP formula. May not be expressible in strict first order. Economy.kif 2431-2440
No TPTP formula. May not be expressible in strict first order. Economy.kif 2466-2476
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. Merge.kif 8264-8274
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1398-1403
No TPTP formula. May not be expressible in strict first order. Merge.kif 8616-8623
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19018-19030
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17132-17150
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17110-17128
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1703-1725

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 12243-12250 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 5938-5951
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 1922-1927
No TPTP formula. May not be expressible in strict first order. Hotel.kif 684-695
No TPTP formula. May not be expressible in strict first order. Media.kif 1929-1934
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 30196-30202
No TPTP formula. May not be expressible in strict first order. Merge.kif 3763-3770
No TPTP formula. May not be expressible in strict first order. Weather.kif 1965-1972
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23242-23251
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23269-23277
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20896-20907
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1009-1022
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16637-16658
No TPTP formula. May not be expressible in strict first order. Merge.kif 12433-12446
No TPTP formula. May not be expressible in strict first order. Merge.kif 12393-12406
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1523-1539
No TPTP formula. May not be expressible in strict first order. Merge.kif 12137-12144
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15839-15849
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16880-16891
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16921-16933
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15859-15869
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20796-20804
No TPTP formula. May not be expressible in strict first order. Merge.kif 13706-13714

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