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

Formal Language: 



KB Term:  Term intersection
English Word: 

  realization

Sigma KEE - realization
realization

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2198-2200
No TPTP formula. May not be expressible in strict first order. Merge.kif 4602-4606
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 862-864
No TPTP formula. May not be expressible in strict first order. Merge.kif 4597-4597 The number 1 argument of realization is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 4598-4598 The number 2 argument of realization is an instance of proposition
No TPTP formula. May not be expressible in strict first order. Merge.kif 4596-4596 realization is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4600-4600 realization is internally related to contains information
No TPTP formula. May not be expressible in strict first order. Merge.kif 4599-4599 realization is internally related to equivalent content instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 4595-4595 realization is a subrelation of represents

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 223-223
No TPTP formula. May not be expressible in strict first order. english_format.kif 224-224
No TPTP formula. May not be expressible in strict first order. french_format.kif 131-131
No TPTP formula. May not be expressible in strict first order. relations-it.txt 242-242
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1960-1960
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 83-83
No TPTP formula. May not be expressible in strict first order. relations-de.txt 290-290
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 280-280
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 150-150
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 136-136
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 434-434
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 224-224
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48914-48914
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48913-48913
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48912-48912
No TPTP formula. May not be expressible in strict first order. terms-de.txt 93-93

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


No TPTP formula. May not be expressible in strict first order. Music.kif 867-876
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2244-2252
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21533-21540
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. Mid-level-ontology.kif 13741-13745
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13752-13762
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14966-14970
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13771-13784
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16643-16651
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21147-21177
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3907-3914
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14149-14163
No TPTP formula. May not be expressible in strict first order. Merge.kif 4608-4613

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14100-14106
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14091-14098
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14079-14089
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29974-29984
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16514-16522
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7231-7240
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3885-3895
No TPTP formula. May not be expressible in strict first order. Catalog.kif 64-76
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2973-2981
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16816-16827
No TPTP formula. May not be expressible in strict first order. Music.kif 850-855
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21354-21361
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13862-13869
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15967-15981
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16631-16638
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14954-14961
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14539-14545
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15921-15927
No TPTP formula. May not be expressible in strict first order. Merge.kif 12689-12695
No TPTP formula. May not be expressible in strict first order. Merge.kif 16818-16823
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14314-14320
No TPTP formula. May not be expressible in strict first order. Music.kif 180-186
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14117-14121
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14183-14192
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14198-14207

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