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 7584-7585
No TPTP formula. May not be expressible in strict first order. Merge.kif 7581-7581 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 7578-7578 Begin is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7580-7580 Begin is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7579-7579 Begin is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 7582-7582 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 10511-10511
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 10510-10510
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10509-10509

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 7837-7845
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 1031-1043
No TPTP formula. May not be expressible in strict first order. Merge.kif 10887-10894
No TPTP formula. May not be expressible in strict first order. Merge.kif 8196-8203
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 1340-1345
No TPTP formula. May not be expressible in strict first order. Merge.kif 8180-8187
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 8164-8171
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2591-2607
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2545-2561
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2609-2625

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 11570-11577 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 7767-7771 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 7859-7861 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 7665-7673 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 11887-11894 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 11435-11442 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 7831-7835 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 7643-7651 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 614-626
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 657-668
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 3700-3707
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 11749-11762
No TPTP formula. May not be expressible in strict first order. Merge.kif 11709-11722
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 11505-11512
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 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