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 2652-2652 result and instrument are disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 2698-2699
No TPTP formula. May not be expressible in strict first order. Merge.kif 2695-2697
No TPTP formula. May not be expressible in strict first order. Merge.kif 2693-2693 The number 1 argument of result is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 2694-2694 The number 2 argument of result is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 2691-2691 result is an instance of case role
No TPTP formula. May not be expressible in strict first order. Merge.kif 2692-2692 result is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2690-2690 result is a subrelation of patient

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 2650-2650 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 118-118
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. portuguese_format.kif 63-63
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 61-61
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-tg.txt 449-449
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 184-184 "结果" is the printable form of result in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8727-8727 "result" is the printable form of result in english language
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 511-511 "«نَتِيجَة لـ»" is the printable form of result in ar

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12239-12246 A process is an instance of combining and an object is a resource for the process and another object is a result of the process if and only if the object is not a part of the other object holds during the beginning of the time of existence of the process and the object is a part of the other object holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order. Merge.kif 12619-12624 There exists a process such that the process is an instance of constructing and an entity is a result of the process if and only if the entity is an instance of stationary artifact
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16090-16096
No TPTP formula. May not be expressible in strict first order. Biography.kif 492-501
No TPTP formula. May not be expressible in strict first order. Dining.kif 544-560
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17819-17824
No TPTP formula. May not be expressible in strict first order. Catalog.kif 167-173
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 196-205
No TPTP formula. May not be expressible in strict first order. WMD.kif 685-689
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1495-1501
No TPTP formula. May not be expressible in strict first order. Merge.kif 10669-10677
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3990-3994
No TPTP formula. May not be expressible in strict first order. WMD.kif 649-655
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13441-13446
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15449-15455
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1407-1417
No TPTP formula. May not be expressible in strict first order. Cars.kif 3167-3177
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3367-3373
No TPTP formula. May not be expressible in strict first order. Society.kif 849-855
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3402-3408
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1440-1450
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1476-1483
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1487-1495
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1425-1431
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3390-3396

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 12312-12322 An entity is an instance of compound substance if and only if there exist an object, another object and a process such that the object is an instance of elemental substance and the other object is an instance of elemental 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 6162-6172 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. Merge.kif 1083-1089 An entity is an instance of synthetic substance if and only if there exists a process such that the process is an instance of intentional process and the entity is a result of the process and the entity is an instance of substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1355-1361 An integer is a year of founding of an organization if and only if there exists a time interval such that the year the integer overlaps the time interval and the time interval is an instance of founding and the organization is a result of the time interval
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. Facebook.kif 659-666
No TPTP formula. May not be expressible in strict first order. TravelPolicies.kif 486-495
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8390-8400
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16799-16812
No TPTP formula. May not be expressible in strict first order. Merge.kif 10142-10157
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 208-217
No TPTP formula. May not be expressible in strict first order. WMD.kif 744-752
No TPTP formula. May not be expressible in strict first order. Economy.kif 1611-1621
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2285-2298
No TPTP formula. May not be expressible in strict first order. Merge.kif 16956-16964
No TPTP formula. May not be expressible in strict first order. Military.kif 32-44
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1172-1182
No TPTP formula. May not be expressible in strict first order. Facebook.kif 307-317
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24728-24754
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12273-12282
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2992-3004
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18837-18842
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18853-18859
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18112-18119
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1041-1047

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners