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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - EndFn
EndFn

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2699-2700
No TPTP formula. May not be expressible in strict first order. Merge.kif 7627-7628
No TPTP formula. May not be expressible in strict first order. Merge.kif 7624-7624 The number 1 argument of end is an instance of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 7621-7621 End is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7623-7623 End is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7622-7622 End is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 7625-7625 The range of end 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 451-451
No TPTP formula. May not be expressible in strict first order. english_format.kif 460-460
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22042-22042
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 452-452
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22041-22041
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22040-22040

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. UXExperimentalTerms.kif 3963-3988
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. Economy.kif 2459-2469
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. 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
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2582-2600
No TPTP formula. May not be expressible in strict first order. Merge.kif 7639-7644
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 788-796
No TPTP formula. May not be expressible in strict first order. Merge.kif 7630-7637
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1275-1289
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1259-1273

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. Media.kif 1945-1950
No TPTP formula. May not be expressible in strict first order. Merge.kif 14396-14413
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 14755-14765
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2283-2292
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. ComputerInput.kif 2362-2369
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
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14973-14984
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15014-15026
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14036-14046

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 7580-7580 The end of common era is equal to positive 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