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. chinese_format.kif 2164-2168
No TPTP formula. May not be expressible in strict first order. Merge.kif 4151-4157
No TPTP formula. May not be expressible in strict first order. Merge.kif 4149-4149 represents is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 4148-4148 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 231-231
No TPTP formula. May not be expressible in strict first order. Merge.kif 5678-5678 abstractCounterpart is a subrelation of represents
No TPTP formula. May not be expressible in strict first order. Music.kif 346-346 anthem is a subrelation of represents
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3395-3395 card code is a subrelation of represents
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25098-25098 conforms is a subrelation of represents
No TPTP formula. May not be expressible in strict first order. Merge.kif 1255-1255 contains information is a subrelation of represents
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1018-1018 hardware type is a subrelation of represents
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3975-3975 implements protocol is a subrelation of represents
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3434-3434 pin is a subrelation of represents
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1252-1252 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 4278-4278 realization is a subrelation of represents
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11944-11944 record is a subrelation of represents
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49471-49471 "代表" is the printable form of represents in ChineseLanguage
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 49470-49470 "代表" is the printable form of represents in ChineseTraditionalLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49469-49469 "represents" is the printable form of represents in english language

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 2860-2868
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 1775-1781
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 2631-2640

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


No TPTP formula. May not be expressible in strict first order. Music.kif 309-311
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 660-666
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 3104-3110
No TPTP formula. May not be expressible in strict first order. Merge.kif 12048-12056
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 1775-1781
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1554-1561
No TPTP formula. May not be expressible in strict first order. Geography.kif 2884-2891
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25170-25196
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 702-708
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1293-1297
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1045-1051
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 1270-1276
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 917-928
No TPTP formula. May not be expressible in strict first order. Hotel.kif 763-773
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. Music.kif 1101-1105
No TPTP formula. May not be expressible in strict first order. Law.kif 223-231
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4226-4228
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18873-18882
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12590-12595
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1037-1042

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