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

Formal Language: 



KB Term:  Term intersection
English Word: 

  refers

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 4416-4424
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 4413-4413 The number 1 argument of refers is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 4414-4414 The number 2 argument of refers is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 4412-4412 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 23323-23323 deceptive identifier is a subrelation of refers
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16146-16146 describes is a subrelation of refers
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3006-3006 email address is a subrelation of refers
No TPTP formula. May not be expressible in strict first order. Merge.kif 4426-4426 names is a subrelation of refers
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3679-3679 phone number is a subrelation of refers
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16609-16609 registered item is a subrelation of refers
No TPTP formula. May not be expressible in strict first order. Merge.kif 4450-4450 represents is a subrelation of refers
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49106-49106
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 226-226
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49105-49105
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49104-49104
No TPTP formula. May not be expressible in strict first order. terms-de.txt 94-94

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 16200-16212
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1882-1891
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1865-1875
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 4195-4210
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9278-9288
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 949-964
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 295-306
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16766-16776
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15887-15900
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 231-236
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 7159-7172
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 526-540
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20459-20466
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21147-21177
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30030-30060
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22720-22724
No TPTP formula. May not be expressible in strict first order. Law.kif 318-328
No TPTP formula. May not be expressible in strict first order. Sports.kif 524-533
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21089-21101
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21066-21080
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26590-26592
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9318-9330
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9296-9308
No TPTP formula. May not be expressible in strict first order. Sports.kif 541-551
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 915-917

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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