Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  element

Sigma KEE - element
element

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2289-2290
No TPTP formula. May not be expressible in strict first order. Merge.kif 5417-5419
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 957-959
No TPTP formula. May not be expressible in strict first order. Merge.kif 5414-5414 The number 1 argument of element is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 5415-5415 The number 2 argument of element is an instance of set
No TPTP formula. May not be expressible in strict first order. Merge.kif 5412-5412 element is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 5411-5411 element is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 5413-5413 element is a subrelation of instance

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 488-488
No TPTP formula. May not be expressible in strict first order. english_format.kif 493-493
No TPTP formula. May not be expressible in strict first order. french_format.kif 285-285
No TPTP formula. May not be expressible in strict first order. relations-it.txt 90-90
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2066-2066
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 237-237
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 291-291
No TPTP formula. May not be expressible in strict first order. relations-de.txt 633-633
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 130-130
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 306-306
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 312-312
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 195-195
No TPTP formula. May not be expressible in strict first order. Merge.kif 1282-1282 member is internally related to element
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21792-21792
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 489-489
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21791-21791
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21790-21790
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 196-196

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 5421-5425
No TPTP formula. May not be expressible in strict first order. Merge.kif 5405-5409
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1452-1457
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1127-1140
No TPTP formula. May not be expressible in strict first order. Hotel.kif 147-154
No TPTP formula. May not be expressible in strict first order. Hotel.kif 841-862
No TPTP formula. May not be expressible in strict first order. Hotel.kif 346-361
No TPTP formula. May not be expressible in strict first order. Hotel.kif 364-378
No TPTP formula. May not be expressible in strict first order. Hotel.kif 811-832
No TPTP formula. May not be expressible in strict first order. Hotel.kif 294-313
No TPTP formula. May not be expressible in strict first order. Merge.kif 12014-12026
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1696-1704
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1902-1914
No TPTP formula. May not be expressible in strict first order. Hotel.kif 479-490
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31316-31323
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31179-31184
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31112-31117
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31157-31162
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31091-31096
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31060-31065
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31011-31016
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31208-31213
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31348-31353
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31230-31235
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31273-31278

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 599-604
No TPTP formula. May not be expressible in strict first order. Hotel.kif 522-538
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1127-1140
No TPTP formula. May not be expressible in strict first order. Hotel.kif 147-154
No TPTP formula. May not be expressible in strict first order. Merge.kif 12046-12062
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30030-30060
No TPTP formula. May not be expressible in strict first order. Hotel.kif 317-332
No TPTP formula. May not be expressible in strict first order. Merge.kif 5399-5403
No TPTP formula. May not be expressible in strict first order. Hotel.kif 45-52
No TPTP formula. May not be expressible in strict first order. naics.kif 11437-11442
No TPTP formula. May not be expressible in strict first order. Hotel.kif 103-108
No TPTP formula. May not be expressible in strict first order. Hotel.kif 110-117
No TPTP formula. May not be expressible in strict first order. Merge.kif 5532-5535
No TPTP formula. May not be expressible in strict first order. Merge.kif 5520-5524
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1691-1694
No TPTP formula. May not be expressible in strict first order. Merge.kif 4285-4288
No TPTP formula. May not be expressible in strict first order. Hotel.kif 615-620
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1727-1739


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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