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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - result
result

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 2515-2515 result and instrument are disjoint
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1895-1896
No TPTP formula. May not be expressible in strict first order. Merge.kif 2554-2556
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 521-522
No TPTP formula. May not be expressible in strict first order. Merge.kif 2551-2551 The number 1 argument of result is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 2552-2552 The number 2 argument of result is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 2549-2549 result is an instance of case role
No TPTP formula. May not be expressible in strict first order. Merge.kif 2550-2550 result is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2548-2548 result is a subrelation of patient

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 2513-2513 resource and result are disjoint
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 183-183
No TPTP formula. May not be expressible in strict first order. english_format.kif 184-184
No TPTP formula. May not be expressible in strict first order. french_format.kif 111-111
No TPTP formula. May not be expressible in strict first order. relations-it.txt 257-257
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1940-1940
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 63-63
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 87-87
No TPTP formula. May not be expressible in strict first order. relations-de.txt 232-232
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 294-294
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 130-130
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 116-116
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 449-449
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 184-184
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49795-49795
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49794-49794
No TPTP formula. May not be expressible in strict first order. terms-de.txt 73-73

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12466-12473 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 20760-20767
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18837-18843
No TPTP formula. May not be expressible in strict first order. Biography.kif 730-740
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20734-20743
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3040-3054
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3022-3038
No TPTP formula. May not be expressible in strict first order. Merge.kif 12828-12832
No TPTP formula. May not be expressible in strict first order. Dining.kif 586-602
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20415-20420
No TPTP formula. May not be expressible in strict first order. Catalog.kif 172-178
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10055-10078
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10025-10046
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 74-83
No TPTP formula. May not be expressible in strict first order. Merge.kif 12046-12062
No TPTP formula. May not be expressible in strict first order. WMD.kif 690-694
No TPTP formula. May not be expressible in strict first order. Merge.kif 12547-12556
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1527-1533
No TPTP formula. May not be expressible in strict first order. Merge.kif 10840-10848
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3794-3798
No TPTP formula. May not be expressible in strict first order. Economy.kif 5485-5493
No TPTP formula. May not be expressible in strict first order. Food.kif 3692-3699
No TPTP formula. May not be expressible in strict first order. WMD.kif 654-660
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16047-16052
No TPTP formula. May not be expressible in strict first order. Food.kif 2687-2692

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. Mid-level-ontology.kif 26329-26340 A process is an instance of photocopying and a content bearing physical is a patient of the process and the content bearing physical is an instance of visual content bearing object and the content bearing physical contains information a proposition if and only if there exist another content bearing physical and another proposition such that the other content bearing physical is a result of the process and the other content bearing physical is an instance of visual content bearing object and the other content bearing physical contains information the other proposition and the proposition is equal to the other proposition
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6478-6488 An entity is an instance of conjugated substance if and only if there exist an object, another object and a process such that the object is an instance of compound substance and the other object is an instance of compound substance and the object is not equal to the other object and the process is an instance of chemical synthesis and the object is a resource for the process and the other object is a resource for the process and the entity is a result of the process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 968-975 An integer is a year of founding of an organization if and only if there exist a process and the integerEAR such that the integerEAR overlaps the time of existence of the process and the integerEAR is an instance of the year the integer and the process is an instance of founding and the organization is a result of the process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20752-20758
No TPTP formula. May not be expressible in strict first order. Merge.kif 17332-17345
No TPTP formula. May not be expressible in strict first order. Economy.kif 4195-4204
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. Food.kif 994-1003
No TPTP formula. May not be expressible in strict first order. Food.kif 3199-3211
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8726-8736
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19379-19392
No TPTP formula. May not be expressible in strict first order. Merge.kif 10222-10237
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 85-94
No TPTP formula. May not be expressible in strict first order. WMD.kif 750-758
No TPTP formula. May not be expressible in strict first order. Food.kif 1190-1205
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3665-3678
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 655-669
No TPTP formula. May not be expressible in strict first order. Food.kif 1012-1026
No TPTP formula. May not be expressible in strict first order. Medicine.kif 6219-6228
No TPTP formula. May not be expressible in strict first order. Economy.kif 1607-1617
No TPTP formula. May not be expressible in strict first order. Economy.kif 5210-5222
No TPTP formula. May not be expressible in strict first order. Economy.kif 4384-4399
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2078-2091
No TPTP formula. May not be expressible in strict first order. Merge.kif 16802-16810
No TPTP formula. May not be expressible in strict first order. Military.kif 32-44

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