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 4430-4434
No TPTP formula. May not be expressible in strict first order. Merge.kif 4425-4425 The number 1 argument of realization is an instance of process
No TPTP formula. May not be expressible in strict first order. Merge.kif 4426-4426 The number 2 argument of realization is an instance of proposition
No TPTP formula. May not be expressible in strict first order. Merge.kif 4424-4424 realization is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4428-4428 realization is internally related to contains information
No TPTP formula. May not be expressible in strict first order. Merge.kif 4427-4427 realization is internally related to equivalent content instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 4423-4423 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 48896-48896
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48895-48895
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48894-48894

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 17885-17892
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12753-12758
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10522-10526
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10533-10543
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11705-11709
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10552-10565
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13290-13298
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17535-17564
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3797-3804
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10930-10944
No TPTP formula. May not be expressible in strict first order. Merge.kif 4436-4441

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10881-10887
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10872-10879
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10860-10870
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26204-26214
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13161-13169
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6240-6249
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3775-3785
No TPTP formula. May not be expressible in strict first order. Catalog.kif 284-299
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 2928-2936
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 17728-17734
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10643-10650
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12673-12687
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13278-13285
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11693-11700
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11320-11326
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12627-12633
No TPTP formula. May not be expressible in strict first order. Merge.kif 11797-11803
No TPTP formula. May not be expressible in strict first order. Merge.kif 15688-15693
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11095-11101
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 10898-10902
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10964-10973
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10979-10988

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