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 4294-4300
No TPTP formula. May not be expressible in strict first order. Merge.kif 4292-4292 represents is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 4291-4291 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 5816-5816 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 3438-3438 card code is a subrelation of represents
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23117-23117 conforms is a subrelation of represents
No TPTP formula. May not be expressible in strict first order. Merge.kif 1253-1253 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 4021-4021 implements protocol is a subrelation of represents
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3477-3477 pin is a subrelation of represents
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1266-1266 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 4423-4423 realization is a subrelation of represents
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11103-11103 record is a subrelation of represents
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49514-49514
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 49513-49513
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49512-49512

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 2882-2890
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 2636-2645

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 664-670
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 3142-3148
No TPTP formula. May not be expressible in strict first order. Merge.kif 12201-12209
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 2906-2913
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23189-23215
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 706-712
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1296-1300
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1053-1059
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 1284-1290
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 921-932
No TPTP formula. May not be expressible in strict first order. Hotel.kif 769-779
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 4231-4233
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17570-17579
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11626-11631
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 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