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 7599-7600
No TPTP formula. May not be expressible in strict first order. Merge.kif 7596-7596 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 7593-7593 Begin is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7595-7595 Begin is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7594-7594 Begin is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 7597-7597 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 458-458
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10577-10577
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 10576-10576
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10575-10575

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 7852-7860
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20847-20852
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27803-27812
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 675-688
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3963-3988
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2347-2358
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1041-1053
No TPTP formula. May not be expressible in strict first order. Merge.kif 10902-10909
No TPTP formula. May not be expressible in strict first order. Merge.kif 8211-8218
No TPTP formula. May not be expressible in strict first order. Economy.kif 2435-2448
No TPTP formula. May not be expressible in strict first order. Economy.kif 2424-2433
No TPTP formula. May not be expressible in strict first order. Economy.kif 2459-2469
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. FinancialOntology.kif 1353-1358
No TPTP formula. May not be expressible in strict first order. Merge.kif 8195-8202
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17392-17404
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15230-15245
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15211-15226
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1702-1724
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17375-17386
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15102-15107
No TPTP formula. May not be expressible in strict first order. Merge.kif 8179-8186
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2610-2626
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2564-2580
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2628-2644

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 11585-11592 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. Merge.kif 7782-7786 A physical exists during a time point and the time point is an instance of time point if and only if the time point is between or at the beginning of the time of existence of the physical and the end of the time of existence of the physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 7874-7876 A time interval happens earlier than another time interval if and only if the end of the time interval happens before the beginning of the other time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 7680-7688 A time interval finishes another time interval if and only if the beginning of the other time interval happens before the beginning of the time interval and the end of the other time interval is equal to the end of the time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 11902-11909 A process is an instance of creation if and only if there exists a physical such that the physical is a patient of the process and the physical exists during the end of the time of existence of the process and the physical doesn't exist during the beginning of the time of existence of the process
No TPTP formula. May not be expressible in strict first order. Merge.kif 11450-11457 A process is an instance of destruction if and only if there exists a physical such that the physical is a patient of the process and the physical exists during the beginning of the time of existence of the process and the physical doesn't exist during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order. Merge.kif 7846-7850 A time interval meets another time interval if and only if the end of the time interval is equal to the beginning of the other time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 7658-7666 A time interval starts another time interval if and only if the beginning of the time interval is equal to the beginning of the other time interval and the end of the time interval happens before the end of the other time interval
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 615-627
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 663-674
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 28869-28875
No TPTP formula. May not be expressible in strict first order. Merge.kif 3705-3712
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21666-21675
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21693-21701
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19164-19175
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1427-1440
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14755-14765
No TPTP formula. May not be expressible in strict first order. Merge.kif 11764-11777
No TPTP formula. May not be expressible in strict first order. Merge.kif 11724-11737
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1522-1538
No TPTP formula. May not be expressible in strict first order. Merge.kif 11520-11527
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14016-14026

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7572-7572 The beginning of before common era is equal to negative infinity


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