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

Formal Language: 



KB Term:  Term intersection
English Word: 

  inScopeOfInterest

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 2666-2670
No TPTP formula. May not be expressible in strict first order. Merge.kif 2663-2663 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 2664-2664 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 2661-2661 in scope of interest is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 2662-2662 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 26291-26291 approves is a subrelation of in scope of interest
No TPTP formula. May not be expressible in strict first order. Merge.kif 2749-2749 believes is a subrelation of in scope of interest
No TPTP formula. May not be expressible in strict first order. Merge.kif 2739-2739 considers is a subrelation of in scope of interest
No TPTP formula. May not be expressible in strict first order. Merge.kif 2726-2726 desires is a subrelation of in scope of interest
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7114-7114 disapproves is a subrelation of in scope of interest
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7098-7098 dislikes is a subrelation of in scope of interest
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2450-2450 enemy is a subrelation of in scope of interest
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7027-7027 enjoys is a subrelation of in scope of interest
No TPTP formula. May not be expressible in strict first order. Merge.kif 2764-2764 knows is a subrelation of in scope of interest
No TPTP formula. May not be expressible in strict first order. Merge.kif 2690-2690 needs is a subrelation of in scope of interest
No TPTP formula. May not be expressible in strict first order. Merge.kif 2703-2703 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 17728-17742
No TPTP formula. May not be expressible in strict first order. Merge.kif 2680-2686

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 2356-2362
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1248-1256
No TPTP formula. May not be expressible in strict first order. Merge.kif 2672-2678
No TPTP formula. May not be expressible in strict first order. Merge.kif 2617-2622
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 25549-25556
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 17720-17726
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 25858-25864
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26371-26377
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 3517-3517 International hydrographic organization is interested in world ocean


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