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

Formal Language: 



KB Term:  Term intersection
English Word: 

  EndFn

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 7917-7918
No TPTP formula. May not be expressible in strict first order. Merge.kif 7914-7914 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 7911-7911 End is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7913-7913 End is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7912-7912 End is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 7915-7915 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 457-457
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22035-22035
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 22034-22034
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22033-22033

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. 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. 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. Economy.kif 2466-2476
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. UXExperimentalTerms.kif 1703-1725
No TPTP formula. May not be expressible in strict first order. Merge.kif 8164-8169
No TPTP formula. May not be expressible in strict first order. Merge.kif 8171-8181
No TPTP formula. May not be expressible in strict first order. Merge.kif 12566-12572
No TPTP formula. May not be expressible in strict first order. Merge.kif 7929-7934
No TPTP formula. May not be expressible in strict first order. Merge.kif 8284-8286
No TPTP formula. May not be expressible in strict first order. Merge.kif 7920-7927
No TPTP formula. May not be expressible in strict first order. Merge.kif 8241-8245
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
No TPTP formula. May not be expressible in strict first order. Merge.kif 8116-8125

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. Media.kif 1934-1939
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. Merge.kif 15233-15250
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 16562-16583
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2265-2274
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. ComputerInput.kif 2344-2351
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
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23229-23240
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16531-16536
No TPTP formula. May not be expressible in strict first order. Merge.kif 11489-11499
No TPTP formula. May not be expressible in strict first order. Merge.kif 12361-12372
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2435-2442

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