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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BeginFn

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 7916-7917
No TPTP formula. May not be expressible in strict first order. Merge.kif 7913-7913 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 7910-7910 Begin is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7912-7912 Begin is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7911-7911 Begin is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 7914-7914 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 10567-10567
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 10566-10566
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10565-10565

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 8017-8025
No TPTP formula. May not be expressible in strict first order. Merge.kif 7985-7993
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 12198-12212
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 2332-2343
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 11523-11530
No TPTP formula. May not be expressible in strict first order. Merge.kif 12246-12255
No TPTP formula. May not be expressible in strict first order. Merge.kif 8651-8658
No TPTP formula. May not be expressible in strict first order. Economy.kif 2443-2456
No TPTP formula. May not be expressible in strict first order. Economy.kif 2432-2441
No TPTP formula. May not be expressible in strict first order. Economy.kif 2467-2477
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 8283-8293
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1399-1404
No TPTP formula. May not be expressible in strict first order. Merge.kif 8635-8642
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19378-19390
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17494-17512
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17472-17490
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1703-1725
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19360-19372
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17373-17378
No TPTP formula. May not be expressible in strict first order. Merge.kif 8191-8196
No TPTP formula. May not be expressible in strict first order. Merge.kif 8198-8208

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 12281-12288 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 6188-6201
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. Hotel.kif 684-695
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. Communications.kif 202-214
No TPTP formula. May not be expressible in strict first order. Merge.kif 3782-3789
No TPTP formula. May not be expressible in strict first order. Weather.kif 1966-1973
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21287-21298
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 16999-17020
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 12471-12484
No TPTP formula. May not be expressible in strict first order. Merge.kif 12431-12444
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 12175-12182
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16199-16209
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17242-17253
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17283-17295
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16219-16229
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21187-21195
No TPTP formula. May not be expressible in strict first order. Merge.kif 13748-13756
No TPTP formula. May not be expressible in strict first order. Merge.kif 11532-11542
No TPTP formula. May not be expressible in strict first order. Merge.kif 12414-12425

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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