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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - inScopeOfInterest
inScopeOfInterest

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1929-1931
No TPTP formula. May not be expressible in strict first order. Merge.kif 2632-2636
No TPTP formula. May not be expressible in strict first order. Merge.kif 2629-2629 The number 1 argument of in scope of interest is an instance of cognitive agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 2630-2630 The number 2 argument of in scope of interest is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 2627-2627 in scope of interest is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 2628-2628 in scope of interest is an instance of intentional relation

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 133-133
No TPTP formula. May not be expressible in strict first order. english_format.kif 134-134
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25161-25161 approves is a subrelation of in scope of interest
No TPTP formula. May not be expressible in strict first order. Merge.kif 2715-2715 believes is a subrelation of in scope of interest
No TPTP formula. May not be expressible in strict first order. Merge.kif 2705-2705 considers is a subrelation of in scope of interest
No TPTP formula. May not be expressible in strict first order. Merge.kif 2692-2692 desires is a subrelation of in scope of interest
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7123-7123 disapproves is a subrelation of in scope of interest
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7107-7107 dislikes is a subrelation of in scope of interest
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2431-2431 enemy is a subrelation of in scope of interest
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7013-7013 enjoys is a subrelation of in scope of interest
No TPTP formula. May not be expressible in strict first order. Merge.kif 2730-2730 knows is a subrelation of in scope of interest
No TPTP formula. May not be expressible in strict first order. Merge.kif 2656-2656 needs is a subrelation of in scope of interest
No TPTP formula. May not be expressible in strict first order. Merge.kif 2669-2669 wants is a subrelation of in scope of interest
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30211-30211
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 134-134
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30210-30210
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30209-30209

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16070-16084
No TPTP formula. May not be expressible in strict first order. Merge.kif 2646-2652

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2866-2870
No TPTP formula. May not be expressible in strict first order. Government.kif 2312-2318
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1222-1230
No TPTP formula. May not be expressible in strict first order. Merge.kif 2638-2644
No TPTP formula. May not be expressible in strict first order. Merge.kif 2583-2588
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 627-643
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1802-1809
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24214-24221
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2779-2784
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16062-16068
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2825-2835
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2837-2849
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2421-2430
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24645-24651
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25241-25247
No TPTP formula. May not be expressible in strict first order. Dining.kif 763-770

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 3468-3468 International hydrographic organization is interested in world ocean


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