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 4512-4516
No TPTP formula. May not be expressible in strict first order. Merge.kif 4507-4507 The number 1 argument of realization is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 4508-4508 The number 2 argument of realization is an instance of proposition
No TPTP formula. May not be expressible in strict first order. Merge.kif 4506-4506 realization is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4510-4510 realization is internally related to contains information
No TPTP formula. May not be expressible in strict first order. Merge.kif 4509-4509 realization is internally related to equivalent content instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 4505-4505 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 20850-20857
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15496-15501
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13211-13215
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13222-13232
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14434-14438
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13241-13254
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16087-16095
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20471-20500
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3859-3866
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13619-13633
No TPTP formula. May not be expressible in strict first order. Merge.kif 4518-4523

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13570-13576
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13561-13568
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13549-13559
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29382-29392
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15958-15966
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6895-6904
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3837-3847
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 16260-16271
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 20677-20683
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13332-13339
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15416-15430
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16075-16082
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14422-14429
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14009-14015
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15370-15376
No TPTP formula. May not be expressible in strict first order. Merge.kif 12457-12463
No TPTP formula. May not be expressible in strict first order. Merge.kif 16549-16554
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13784-13790
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 13587-13591
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13653-13662
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13668-13677

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