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 4287-4293
No TPTP formula. May not be expressible in strict first order. Merge.kif 4285-4285 represents is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 4284-4284 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 5809-5809 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 3396-3396 card code is a subrelation of represents
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25141-25141 conforms is a subrelation of represents
No TPTP formula. May not be expressible in strict first order. Merge.kif 1254-1254 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 3970-3970 implements protocol is a subrelation of represents
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3435-3435 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 4416-4416 realization is a subrelation of represents
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11972-11972 record is a subrelation of represents
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49460-49460
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 228-228
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49459-49459
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49458-49458

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 2633-2642

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 662-668
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 3113-3119
No TPTP formula. May not be expressible in strict first order. Merge.kif 12186-12194
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 25213-25239
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 704-710
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1295-1299
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 919-930
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 4228-4230
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18905-18914
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12618-12623
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1238-1243

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