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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - refers
refers

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2154-2157
No TPTP formula. May not be expressible in strict first order. Merge.kif 4442-4450
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 810-814
No TPTP formula. May not be expressible in strict first order. Merge.kif 4439-4439 The number 1 argument of refers is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 4440-4440 The number 2 argument of refers is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 4438-4438 refers is an instance of binary predicate

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 225-225
No TPTP formula. May not be expressible in strict first order. english_format.kif 226-226
No TPTP formula. May not be expressible in strict first order. french_format.kif 132-132
No TPTP formula. May not be expressible in strict first order. relations-it.txt 246-246
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1961-1961
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 84-84
No TPTP formula. May not be expressible in strict first order. relations-de.txt 293-293
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 284-284
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 151-151
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 137-137
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 438-438
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24964-24964 deceptive identifier is a subrelation of refers
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17533-17533 describes is a subrelation of refers
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3469-3469 email address is a subrelation of refers
No TPTP formula. May not be expressible in strict first order. Merge.kif 4452-4452 names is a subrelation of refers
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3697-3697 phone number is a subrelation of refers
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17996-17996 registered item is a subrelation of refers
No TPTP formula. May not be expressible in strict first order. Merge.kif 4478-4478 represents is a subrelation of refers
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49110-49110 represents is a subrelation of refers
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 226-226 represents is a subrelation of refers
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49109-49109 represents is a subrelation of refers
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49108-49108 represents is a subrelation of refers
No TPTP formula. May not be expressible in strict first order. terms-de.txt 94-94 represents is a subrelation of refers

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. Mid-level-ontology.kif 17587-17599
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1875-1884
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1858-1868
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3042-3050
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4201-4216
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10607-10617
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 951-966
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4152-4157

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


No TPTP formula. May not be expressible in strict first order. emotion.kif 374-387
No TPTP formula. May not be expressible in strict first order. emotion.kif 349-363
No TPTP formula. May not be expressible in strict first order. Dining.kif 130-150
No TPTP formula. May not be expressible in strict first order. Law.kif 300-311
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18153-18163
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17274-17287
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 232-237
No TPTP formula. May not be expressible in strict first order. WMD.kif 666-671
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8320-8333
No TPTP formula. May not be expressible in strict first order. Justice.kif 87-96
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2078-2091
No TPTP formula. May not be expressible in strict first order. Law.kif 532-546
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22076-22083
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22764-22794
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31922-31952
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24361-24365
No TPTP formula. May not be expressible in strict first order. Law.kif 324-334
No TPTP formula. May not be expressible in strict first order. Sports.kif 536-545
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22706-22718
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22683-22697
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28489-28491
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10647-10659
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10625-10637
No TPTP formula. May not be expressible in strict first order. Sports.kif 553-563
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1024-1026

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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