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 7944-7945
No TPTP formula. May not be expressible in strict first order. Merge.kif 7941-7941 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 7938-7938 End is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7940-7940 End is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7939-7939 End is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 7942-7942 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 22034-22034
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 22033-22033
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22032-22032

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 8017-8025
No TPTP formula. May not be expressible in strict first order. Merge.kif 7985-7993
No TPTP formula. May not be expressible in strict first order. Merge.kif 12198-12212
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3968-3993
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1087-1099
No TPTP formula. May not be expressible in strict first order. Merge.kif 11523-11530
No TPTP formula. May not be expressible in strict first order. Merge.kif 12246-12255
No TPTP formula. May not be expressible in strict first order. Economy.kif 2467-2477
No TPTP formula. May not be expressible in strict first order. Merge.kif 8283-8293
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 8191-8196
No TPTP formula. May not be expressible in strict first order. Merge.kif 8198-8208
No TPTP formula. May not be expressible in strict first order. Merge.kif 12619-12625
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2682-2698
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2636-2652
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2700-2716
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2654-2672
No TPTP formula. May not be expressible in strict first order. Merge.kif 7956-7961
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 834-842
No TPTP formula. May not be expressible in strict first order. Merge.kif 8311-8313
No TPTP formula. May not be expressible in strict first order. Merge.kif 7947-7954
No TPTP formula. May not be expressible in strict first order. Merge.kif 8268-8272
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1270-1284
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1254-1268
No TPTP formula. May not be expressible in strict first order. Merge.kif 8143-8152

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 12281-12288 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. FinancialOntology.kif 655-667
No TPTP formula. May not be expressible in strict first order. Media.kif 1936-1941
No TPTP formula. May not be expressible in strict first order. Media.kif 1943-1948
No TPTP formula. May not be expressible in strict first order. Merge.kif 15321-15338
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21287-21298
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16999-17020
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2268-2277
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2332-2343
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2347-2354
No TPTP formula. May not be expressible in strict first order. Merge.kif 12471-12484
No TPTP formula. May not be expressible in strict first order. Merge.kif 12431-12444
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 12175-12182
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16199-16209
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17242-17253
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17283-17295
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16219-16229
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21187-21195
No TPTP formula. May not be expressible in strict first order. Merge.kif 13748-13756
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16968-16973
No TPTP formula. May not be expressible in strict first order. Merge.kif 11532-11542
No TPTP formula. May not be expressible in strict first order. Merge.kif 12414-12425
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2438-2445
No TPTP formula. May not be expressible in strict first order. Merge.kif 12451-12465

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