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 2631-2635
No TPTP formula. May not be expressible in strict first order. Merge.kif 2628-2628 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 2629-2629 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 2626-2626 in scope of interest is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 2627-2627 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 23137-23137 approves is a subrelation of in scope of interest
No TPTP formula. May not be expressible in strict first order. Merge.kif 2714-2714 believes is a subrelation of in scope of interest
No TPTP formula. May not be expressible in strict first order. Merge.kif 2704-2704 considers is a subrelation of in scope of interest
No TPTP formula. May not be expressible in strict first order. Merge.kif 2691-2691 desires is a subrelation of in scope of interest
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6463-6463 disapproves is a subrelation of in scope of interest
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6447-6447 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 6376-6376 enjoys is a subrelation of in scope of interest
No TPTP formula. May not be expressible in strict first order. Merge.kif 2729-2729 knows is a subrelation of in scope of interest
No TPTP formula. May not be expressible in strict first order. Merge.kif 2655-2655 needs is a subrelation of in scope of interest
No TPTP formula. May not be expressible in strict first order. Merge.kif 2668-2668 wants is a subrelation of in scope of interest
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30204-30204
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 30203-30203
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30202-30202

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14916-14930
No TPTP formula. May not be expressible in strict first order. Merge.kif 2645-2651

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2869-2873
No TPTP formula. May not be expressible in strict first order. Government.kif 2344-2350
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1235-1243
No TPTP formula. May not be expressible in strict first order. Merge.kif 2637-2643
No TPTP formula. May not be expressible in strict first order. Merge.kif 2582-2587
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 1803-1810
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22395-22402
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2782-2787
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14908-14914
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2828-2838
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2840-2852
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2424-2433
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22704-22710
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23217-23223
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 3500-3500 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