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 2526-2526 result and instrument are disjoint
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1895-1896 result and instrument are disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 2565-2567 result and instrument are disjoint
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 521-522 result and instrument are disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 2562-2562 The number 1 argument of result is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 2563-2563 The number 2 argument of result is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 2560-2560 result is an instance of case role
No TPTP formula. May not be expressible in strict first order. Merge.kif 2561-2561 result is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2559-2559 result is a subrelation of patient

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


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

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12620-12627 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 22377-22384
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20408-20414
No TPTP formula. May not be expressible in strict first order. Biography.kif 738-748
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22351-22360
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3041-3055
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3023-3039
No TPTP formula. May not be expressible in strict first order. Merge.kif 12982-12986
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 22032-22037
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 11384-11407
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11354-11375
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 12196-12212
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 12701-12710
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 10978-10986
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 5827-5835
No TPTP formula. May not be expressible in strict first order. Food.kif 3699-3706
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 17434-17439
No TPTP formula. May not be expressible in strict first order. Food.kif 2694-2699

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 28228-28239 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 equal the proposition and the other proposition
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7415-7425 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 equal the object and 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 961-968 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 22369-22375
No TPTP formula. May not be expressible in strict first order. Merge.kif 17507-17520
No TPTP formula. May not be expressible in strict first order. Economy.kif 4532-4541
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 995-1004
No TPTP formula. May not be expressible in strict first order. Food.kif 3206-3218
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9932-9942
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20950-20963
No TPTP formula. May not be expressible in strict first order. Merge.kif 10362-10377
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 1191-1206
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3668-3681
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 661-675
No TPTP formula. May not be expressible in strict first order. Food.kif 1013-1027
No TPTP formula. May not be expressible in strict first order. Medicine.kif 6235-6244
No TPTP formula. May not be expressible in strict first order. Economy.kif 1732-1742
No TPTP formula. May not be expressible in strict first order. Economy.kif 5551-5563
No TPTP formula. May not be expressible in strict first order. Economy.kif 4722-4737
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 537-563
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 16977-16985

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