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

Formal Language: 


KB Term:  Term intersection
English Word: 

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 4630-4634
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 4625-4625 The number 1 argument of realization is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 4626-4626 The number 2 argument of realization is an instance of proposition
No TPTP formula. May not be expressible in strict first order. Merge.kif 4624-4624 realization is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4628-4628 realization is internally related to contains information
No TPTP formula. May not be expressible in strict first order. Merge.kif 4627-4627 realization is internally related to equivalent content instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 4623-4623 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 48918-48918
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48917-48917
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48916-48916
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 869-878
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 23150-23157
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. Mid-level-ontology.kif 15112-15116
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15123-15133
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16339-16343
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15142-15155
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18030-18038
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22764-22794
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3925-3932
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15520-15534
No TPTP formula. May not be expressible in strict first order. Merge.kif 4636-4641

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15471-15477
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15462-15469
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15450-15460
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31866-31876
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17901-17909
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8392-8401
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3903-3913
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 2984-2992
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18203-18214
No TPTP formula. May not be expressible in strict first order. Music.kif 852-857
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22971-22978
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15233-15240
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17354-17368
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18018-18025
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16327-16334
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15910-15916
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17308-17314
No TPTP formula. May not be expressible in strict first order. Merge.kif 12843-12849
No TPTP formula. May not be expressible in strict first order. Merge.kif 16993-16998
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15685-15691
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 15488-15492
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15554-15563
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15569-15578

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 3.0 is open source software produced by Articulate Software and its partners