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 2703-2707
No TPTP formula. May not be expressible in strict first order. Merge.kif 2700-2700 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 2701-2701 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 2698-2698 in scope of interest is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 2699-2699 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 26837-26837 approves is a subrelation of in scope of interest
No TPTP formula. May not be expressible in strict first order. Merge.kif 2786-2786 believes is a subrelation of in scope of interest
No TPTP formula. May not be expressible in strict first order. Merge.kif 2776-2776 considers is a subrelation of in scope of interest
No TPTP formula. May not be expressible in strict first order. Merge.kif 2763-2763 desires is a subrelation of in scope of interest
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7398-7398 disapproves is a subrelation of in scope of interest
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7382-7382 dislikes is a subrelation of in scope of interest
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2451-2451 enemy is a subrelation of in scope of interest
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7327-7327 enjoys is a subrelation of in scope of interest
No TPTP formula. May not be expressible in strict first order. Merge.kif 2801-2801 knows is a subrelation of in scope of interest
No TPTP formula. May not be expressible in strict first order. Merge.kif 2727-2727 needs is a subrelation of in scope of interest
No TPTP formula. May not be expressible in strict first order. Merge.kif 2821-2821 says is a subrelation of in scope of interest
No TPTP formula. May not be expressible in strict first order. Merge.kif 2740-2740 wants is a subrelation of in scope of interest
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30199-30199
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 30198-30198
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30197-30197

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18155-18169
No TPTP formula. May not be expressible in strict first order. Merge.kif 2717-2723

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2865-2869
No TPTP formula. May not be expressible in strict first order. Government.kif 2371-2377
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1270-1278
No TPTP formula. May not be expressible in strict first order. Merge.kif 2709-2715
No TPTP formula. May not be expressible in strict first order. Merge.kif 2654-2659
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 629-645
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 26091-26098
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2778-2783
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18147-18153
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2824-2834
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2836-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 26404-26410
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26917-26923
No TPTP formula. May not be expressible in strict first order. Dining.kif 810-817

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3537-3537 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