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 4285-4289
No TPTP formula. May not be expressible in strict first order. Merge.kif 4280-4280 The number 1 argument of realization is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 4281-4281 The number 2 argument of realization is an instance of proposition
No TPTP formula. May not be expressible in strict first order. Merge.kif 4279-4279 realization is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4283-4283 realization is internally related to contains information
No TPTP formula. May not be expressible in strict first order. Merge.kif 4282-4282 realization is internally related to equivalent content instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 4278-4278 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 227-227
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 48853-48853 "实现" is the printable form of realization in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48852-48852 "實現" is the printable form of realization in ChineseTraditionalLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48851-48851 "realization" is the printable form of realization in english language

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


No TPTP formula. May not be expressible in strict first order. Music.kif 863-872
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2224-2232
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19170-19177
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13700-13705
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11345-11349
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11356-11366
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12667-12671
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11375-11388
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14243-14251
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18838-18867
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3748-3755
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11771-11785
No TPTP formula. May not be expressible in strict first order. Merge.kif 4291-4296

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11708-11714
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11699-11706
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11687-11697
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28133-28143
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14103-14111
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6894-6903
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3726-3736
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 2914-2922
No TPTP formula. May not be expressible in strict first order. Music.kif 846-851
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19005-19011
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11471-11478
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13622-13636
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14231-14238
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12656-12662
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12284-12290
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13576-13582
No TPTP formula. May not be expressible in strict first order. Merge.kif 11641-11647
No TPTP formula. May not be expressible in strict first order. Merge.kif 15519-15524
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11936-11942
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 11725-11729
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11805-11814
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11820-11829

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