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

Formal Language: 


KB Term:  Term intersection
English Word: 

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 5442-5444
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 5439-5439 The number 1 argument of element is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 5440-5440 The number 2 argument of element is an instance of set
No TPTP formula. May not be expressible in strict first order. Merge.kif 5438-5438 element is an instance of binary predicate

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 1292-1292 member is internally related to element
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21801-21801 member is internally related to element
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 489-489 member is internally related to element
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21800-21800 member is internally related to element
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21799-21799 member is internally related to element
No TPTP formula. May not be expressible in strict first order. terms-de.txt 195-195 member is internally related to element
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 196-196 member is internally related to element

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 5446-5450
No TPTP formula. May not be expressible in strict first order. Merge.kif 5432-5436
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1463-1468
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1135-1148
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 847-868
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 815-836
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 12164-12176
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1707-1715
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1913-1925
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 33261-33268
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 33124-33129
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 33048-33053
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 33102-33107
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 33027-33032
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 32996-33001
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 32947-32952
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 33153-33158
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 33293-33298
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 33175-33180
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 33218-33223

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 603-608
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 1135-1148
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. Economy.kif 6116-6130
No TPTP formula. May not be expressible in strict first order. Merge.kif 12196-12212
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31922-31952
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 5426-5430
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 5557-5560
No TPTP formula. May not be expressible in strict first order. Merge.kif 5545-5549
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1702-1705
No TPTP formula. May not be expressible in strict first order. Economy.kif 905-919
No TPTP formula. May not be expressible in strict first order. Economy.kif 880-889
No TPTP formula. May not be expressible in strict first order. Merge.kif 4313-4316
No TPTP formula. May not be expressible in strict first order. Hotel.kif 619-624
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1738-1750


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