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 4506-4510
No TPTP formula. May not be expressible in strict first order. Merge.kif 4501-4501 The number 1 argument of realization is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 4502-4502 The number 2 argument of realization is an instance of proposition
No TPTP formula. May not be expressible in strict first order. Merge.kif 4500-4500 realization is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4504-4504 realization is internally related to contains information
No TPTP formula. May not be expressible in strict first order. Merge.kif 4503-4503 realization is internally related to equivalent content instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 4499-4499 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. chinese_format.kif 224-224
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48897-48897
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48896-48896
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48895-48895

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


No TPTP formula. May not be expressible in strict first order. Music.kif 864-873
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2243-2251
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20826-20833
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15472-15477
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13207-13211
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13218-13228
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14410-14414
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13237-13250
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16063-16071
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20447-20476
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13615-13629
No TPTP formula. May not be expressible in strict first order. Merge.kif 4512-4517

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13566-13572
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13557-13564
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13545-13555
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29358-29368
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15934-15942
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6891-6900
No TPTP formula. May not be expressible in strict first order. Catalog.kif 64-75
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2941-2949
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16236-16247
No TPTP formula. May not be expressible in strict first order. Music.kif 847-852
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20653-20659
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13328-13335
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15392-15406
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16051-16058
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14398-14405
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14005-14011
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15346-15352
No TPTP formula. May not be expressible in strict first order. Merge.kif 12451-12457
No TPTP formula. May not be expressible in strict first order. Merge.kif 16536-16541
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13780-13786
No TPTP formula. May not be expressible in strict first order. Music.kif 178-184
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13583-13587
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13649-13658
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13664-13673


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