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. Merge.kif 4714-4716
No TPTP formula. May not be expressible in strict first order. Merge.kif 4709-4713
No TPTP formula. May not be expressible in strict first order. Merge.kif 4705-4705 The number 1 argument of realization is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 4706-4706 The number 2 argument of realization is an instance of proposition
No TPTP formula. May not be expressible in strict first order. Merge.kif 4704-4704 realization is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4708-4708 realization is internally related to contains information
No TPTP formula. May not be expressible in strict first order. Merge.kif 4707-4707 realization is internally related to equivalent content instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 4703-4703 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 138-138
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. portuguese_format.kif 83-83
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 81-81
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-tg.txt 434-434
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 224-224 "体现" is the printable form of realization in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8577-8577 "realization" is the printable form of realization in english language
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 531-531 "«يُعَبِّر عَن مَضْمُون»" is the printable form of realization in ar

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


No TPTP formula. May not be expressible in strict first order. Music.kif 885-894
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2211-2219
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18750-18757
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13441-13446
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11080-11084
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11091-11101
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12408-12412
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11110-11123
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13983-13991
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18418-18447
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3742-3749
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11506-11520
No TPTP formula. May not be expressible in strict first order. Merge.kif 4718-4723

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11443-11449
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11434-11441
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11422-11432
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27699-27708
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13843-13851
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6889-6898
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3720-3730
No TPTP formula. May not be expressible in strict first order. TravelPolicies.kif 510-518
No TPTP formula. May not be expressible in strict first order. Catalog.kif 278-293
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 2908-2916
No TPTP formula. May not be expressible in strict first order. Music.kif 868-873
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18585-18591
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11206-11213
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13363-13377
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13971-13978
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12397-12403
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12025-12031
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13317-13323
No TPTP formula. May not be expressible in strict first order. Merge.kif 12471-12477
No TPTP formula. May not be expressible in strict first order. Merge.kif 16974-16979
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11671-11677
No TPTP formula. May not be expressible in strict first order. Music.kif 194-200
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11460-11464
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11540-11549

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners