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

Formal Language: 



KB Term:  Term intersection
English Word: 

  result

Sigma KEE - result
result

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 2421-2421 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 2460-2462
No TPTP formula. May not be expressible in strict first order. Merge.kif 2457-2457 The number 1 argument of result is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 2458-2458 The number 2 argument of result is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 2455-2455 result is an instance of case role
No TPTP formula. May not be expressible in strict first order. Merge.kif 2456-2456 result is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2454-2454 result is a subrelation of patient

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 2419-2419 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 187-187
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 49723-49723
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49722-49722

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 11570-11577 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. Merge.kif 11912-11917 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 18448-18455
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16540-16546
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. Mid-level-ontology.kif 18422-18431
No TPTP formula. May not be expressible in strict first order. Dining.kif 540-556
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18210-18215
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 195-204
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 1508-1514
No TPTP formula. May not be expressible in strict first order. Merge.kif 10146-10154
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3998-4002
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 13728-13733
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15808-15814
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1418-1430
No TPTP formula. May not be expressible in strict first order. Cars.kif 3130-3140
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3372-3378
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3408-3414
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1441-1451
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1477-1484
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1488-1496
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1426-1432

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 11639-11649 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 6172-6182 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 994-1000 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 1356-1362 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. Mid-level-ontology.kif 18440-18446
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. Mid-level-ontology.kif 8386-8396
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17190-17203
No TPTP formula. May not be expressible in strict first order. Merge.kif 9655-9670
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 207-216
No TPTP formula. May not be expressible in strict first order. WMD.kif 745-753
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 2284-2297
No TPTP formula. May not be expressible in strict first order. Merge.kif 15657-15665
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 1183-1193
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25213-25239
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12560-12569
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2998-3011
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19300-19305
No TPTP formula. May not be expressible in strict first order. Food.kif 22-27
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19316-19322
No TPTP formula. May not be expressible in strict first order. Food.kif 38-44
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18564-18571
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1045-1051

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