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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - represents
represents

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 4554-4558
No TPTP formula. May not be expressible in strict first order. Merge.kif 4547-4553
No TPTP formula. May not be expressible in strict first order. Merge.kif 4546-4546 represents is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 4545-4545 represents is a subrelation of refers

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 227-227
No TPTP formula. May not be expressible in strict first order. english_format.kif 140-140
No TPTP formula. May not be expressible in strict first order. french_format.kif 133-133
No TPTP formula. May not be expressible in strict first order. relations-it.txt 253-253
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 85-85
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 83-83
No TPTP formula. May not be expressible in strict first order. relations-de.txt 296-296
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 290-290
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 445-445
No TPTP formula. May not be expressible in strict first order. Merge.kif 6210-6210 abstractCounterpart is a subrelation of represents
No TPTP formula. May not be expressible in strict first order. Music.kif 368-368 anthem is a subrelation of represents
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3389-3389 card code is a subrelation of represents
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24656-24656 conforms is a subrelation of represents
No TPTP formula. May not be expressible in strict first order. Merge.kif 1383-1383 contains information is a subrelation of represents
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1009-1009 hardware type is a subrelation of represents
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3428-3428 pin is a subrelation of represents
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1248-1248 product brand is a subrelation of represents
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 14-14 product model is a subrelation of represents
No TPTP formula. May not be expressible in strict first order. Merge.kif 4703-4703 realization is a subrelation of represents
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11679-11679 record is a subrelation of represents
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 228-228 "表示" is the printable form of represents in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8683-8683 "represents" is the printable form of represents in english language
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 533-533 "«يُعَبِّر عَن»" is the printable form of represents in ar

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 2848-2856
No TPTP formula. May not be expressible in strict first order. Media.kif 895-901
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1762-1768
No TPTP formula. May not be expressible in strict first order. Military.kif 32-44
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2634-2643
No TPTP formula. May not be expressible in strict first order. Facebook.kif 689-704

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


No TPTP formula. May not be expressible in strict first order. Music.kif 331-333
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 663-669
No TPTP formula. May not be expressible in strict first order. Communications.kif 202-214
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3051-3057
No TPTP formula. May not be expressible in strict first order. Merge.kif 12932-12940
No TPTP formula. May not be expressible in strict first order. Media.kif 801-812
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1762-1768
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1541-1548
No TPTP formula. May not be expressible in strict first order. Geography.kif 2871-2878
No TPTP formula. May not be expressible in strict first order. TravelPolicies.kif 617-624
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24728-24754
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 705-711
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1297-1301
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1041-1047
No TPTP formula. May not be expressible in strict first order. Biography.kif 203-232
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1266-1272
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 922-933
No TPTP formula. May not be expressible in strict first order. Hotel.kif 759-769
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 214-216
No TPTP formula. May not be expressible in strict first order. Media.kif 2267-2269
No TPTP formula. May not be expressible in strict first order. TravelPolicies.kif 1033-1035
No TPTP formula. May not be expressible in strict first order. Music.kif 1123-1127
No TPTP formula. May not be expressible in strict first order. Law.kif 222-230
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4220-4222
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18453-18462

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. engineering.kif 854-854 Resistor element expresses dissipator
No TPTP formula. May not be expressible in strict first order. engineering.kif 855-855 Resistor element expresses electrical twopole


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