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 7889-7890
No TPTP formula. May not be expressible in strict first order. Merge.kif 7886-7886 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 7883-7883 Begin is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7885-7885 Begin is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7884-7884 Begin is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 7887-7887 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 7990-7998
No TPTP formula. May not be expressible in strict first order. Merge.kif 7958-7966
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22343-22348
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28983-28992
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23355-23372
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23329-23343
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 490-503
No TPTP formula. May not be expressible in strict first order. Merge.kif 12145-12159
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3966-3991
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. Merge.kif 11480-11487
No TPTP formula. May not be expressible in strict first order. Merge.kif 12193-12202
No TPTP formula. May not be expressible in strict first order. Merge.kif 8624-8631
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 8256-8266
No TPTP formula. May not be expressible in strict first order. Merge.kif 8608-8615
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18933-18945
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17054-17071
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17033-17050
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 18916-18927
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16934-16939

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 12228-12235 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 5907-5920
No TPTP formula. May not be expressible in strict first order. Media.kif 1934-1939
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 1941-1946
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 30070-30076
No TPTP formula. May not be expressible in strict first order. Merge.kif 3755-3762
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 23133-23142
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23160-23168
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20788-20799
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 999-1012
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16562-16583
No TPTP formula. May not be expressible in strict first order. Merge.kif 12418-12431
No TPTP formula. May not be expressible in strict first order. Merge.kif 12378-12391
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 12122-12129
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15764-15774
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16803-16814
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16844-16856
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15784-15794
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20692-20700
No TPTP formula. May not be expressible in strict first order. Merge.kif 13686-13694
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23208-23219

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