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 2474-2474 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 2513-2515
No TPTP formula. May not be expressible in strict first order. Merge.kif 2510-2510 The number 1 argument of result is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 2511-2511 The number 2 argument of result is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 2508-2508 result is an instance of case role
No TPTP formula. May not be expressible in strict first order. Merge.kif 2509-2509 result is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2507-2507 result is a subrelation of patient

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 2472-2472 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. chinese_format.kif 184-184
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49785-49785
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49784-49784

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12328-12335 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 20541-20548
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18618-18624
No TPTP formula. May not be expressible in strict first order. Biography.kif 500-510
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20515-20524
No TPTP formula. May not be expressible in strict first order. Merge.kif 12690-12694
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 20196-20201
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 9983-10006
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9953-9974
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 72-81
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 12409-12418
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 10793-10801
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4000-4004
No TPTP formula. May not be expressible in strict first order. Food.kif 1106-1113
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 15893-15898
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17898-17904
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1419-1431
No TPTP formula. May not be expressible in strict first order. Cars.kif 3155-3165
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2851-2857
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2887-2893

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 26237-26248 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 6438-6448 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 935-942 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 20533-20539
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 8685-8695
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19160-19173
No TPTP formula. May not be expressible in strict first order. Merge.kif 10178-10193
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 83-92
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. Economy.kif 1618-1628
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 16655-16663
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 1184-1194
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26207-26223
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26888-26914
No TPTP formula. May not be expressible in strict first order. Weather.kif 1806-1811
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14635-14644
No TPTP formula. May not be expressible in strict first order. Hotel.kif 3059-3072
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21386-21391
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 21402-21408
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 20648-20655

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