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 4385-4389
No TPTP formula. May not be expressible in strict first order. Merge.kif 4380-4380 The number 1 argument of realization is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 4381-4381 The number 2 argument of realization is an instance of proposition
No TPTP formula. May not be expressible in strict first order. Merge.kif 4379-4379 realization is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4383-4383 realization is internally related to contains information
No TPTP formula. May not be expressible in strict first order. Merge.kif 4382-4382 realization is internally related to equivalent content instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 4378-4378 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
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48812-48812
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48811-48811
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48810-48810

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 19233-19240
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13753-13758
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11398-11402
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11409-11419
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12720-12724
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11428-11441
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14296-14304
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18891-18920
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3749-3756
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11824-11838
No TPTP formula. May not be expressible in strict first order. Merge.kif 4391-4396

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11761-11767
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11752-11759
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11740-11750
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28197-28207
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14156-14164
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6900-6909
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3727-3737
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 19068-19074
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11524-11531
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13675-13689
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14284-14291
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12709-12715
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12337-12343
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13629-13635
No TPTP formula. May not be expressible in strict first order. Merge.kif 11742-11748
No TPTP formula. May not be expressible in strict first order. Merge.kif 15622-15627
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11989-11995
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 11778-11782
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11858-11867
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11873-11882

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