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 7980-7981
No TPTP formula. May not be expressible in strict first order. Merge.kif 7977-7977 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 7974-7974 End is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7976-7976 End is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7975-7975 End is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 7978-7978 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 22030-22030
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 22029-22029
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22028-22028

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 8053-8061
No TPTP formula. May not be expressible in strict first order. Merge.kif 8021-8029
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22870-22875
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29511-29520
No TPTP formula. May not be expressible in strict first order. Merge.kif 12242-12256
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3965-3990
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 11567-11574
No TPTP formula. May not be expressible in strict first order. Merge.kif 12290-12299
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 8319-8329
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. Merge.kif 8227-8232
No TPTP formula. May not be expressible in strict first order. Merge.kif 8234-8244
No TPTP formula. May not be expressible in strict first order. Merge.kif 12663-12669
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2683-2699
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2637-2653
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2701-2717
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2655-2673
No TPTP formula. May not be expressible in strict first order. Merge.kif 7992-7997
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 8347-8349
No TPTP formula. May not be expressible in strict first order. Merge.kif 7983-7990
No TPTP formula. May not be expressible in strict first order. Merge.kif 8304-8308
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1270-1284

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 12325-12332 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 15365-15382
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21274-21285
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16986-17007
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 12515-12528
No TPTP formula. May not be expressible in strict first order. Merge.kif 12475-12488
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 12219-12226
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16186-16196
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17229-17240
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17270-17282
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16206-16216
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21174-21182
No TPTP formula. May not be expressible in strict first order. Merge.kif 13792-13800
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23735-23746
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23756-23767
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16955-16960
No TPTP formula. May not be expressible in strict first order. Merge.kif 11576-11586
No TPTP formula. May not be expressible in strict first order. Merge.kif 12458-12469

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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