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

Formal Language: 



KB Term:  Term intersection
English Word: 

  represents

Sigma KEE - represents
represents

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2164-2168
No TPTP formula. May not be expressible in strict first order. Merge.kif 4455-4461
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 823-828
No TPTP formula. May not be expressible in strict first order. Merge.kif 4452-4452 The number 1 argument of represents is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 4453-4453 The number 2 argument of represents is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 4451-4451 represents is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 4450-4450 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 228-228
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. japanese_format.kif 1962-1962
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. 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-ro.kif 152-152
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 138-138
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 6113-6113 abstract counterpart is a subrelation of represents
No TPTP formula. May not be expressible in strict first order. Music.kif 349-349 anthem is a subrelation of represents
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3498-3498 card code is a subrelation of represents
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26923-26923 conforms is a subrelation of represents
No TPTP formula. May not be expressible in strict first order. Merge.kif 1356-1356 contains information is a subrelation of represents
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1020-1020 hardware type is a subrelation of represents
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4050-4050 implements protocol is a subrelation of represents
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3537-3537 pin is a subrelation of represents
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1301-1301 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 4595-4595 realization is a subrelation of represents
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14322-14322 record is a subrelation of represents
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49532-49532

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 3001-3009
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 1794-1800
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 2426-2435

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


No TPTP formula. May not be expressible in strict first order. Music.kif 312-314
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 531-537
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 3135-3141
No TPTP formula. May not be expressible in strict first order. Merge.kif 13116-13124
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 1794-1800
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1573-1580
No TPTP formula. May not be expressible in strict first order. Geography.kif 3025-3032
No TPTP formula. May not be expressible in strict first order. Biography.kif 250-264
No TPTP formula. May not be expressible in strict first order. Biography.kif 280-296
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26973-26999
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 569-575
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1099-1103
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1088-1094
No TPTP formula. May not be expressible in strict first order. Biography.kif 436-465
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1319-1325
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 736-748
No TPTP formula. May not be expressible in strict first order. Hotel.kif 790-800
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 171-173
No TPTP formula. May not be expressible in strict first order. Media.kif 2272-2274
No TPTP formula. May not be expressible in strict first order. Music.kif 1109-1113
No TPTP formula. May not be expressible in strict first order. Law.kif 180-188
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4024-4026
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21183-21192

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 850-850 Resistor element expresses dissipator
No TPTP formula. May not be expressible in strict first order. engineering.kif 851-851 Resistor element expresses electrical twopole


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