TreeView Knowledge Base Browser

appearance as argument number 1

s__documentation(s__Entity,s__EnglishLanguage,'The universal class of individuals. This is the root node of the ontology.')	Merge.kif 841-842
s__partition_3(s__Entity,s__Physical,s__Abstract)	Merge.kif 840-840	Entity is exhaustively partitioned into physical and abstract

appearance as argument number 2

s__range(s__AssignmentFn__m,s__Entity)	Merge.kif 808-808	The range of assignment is an instance of entity
s__range(s__FirstFn__m,s__Entity)	Mid-level-ontology.kif 6351-6351	The range of first is an instance of entity
s__range(s__LastFn__m,s__Entity)	Mid-level-ontology.kif 6337-6337	The range of last is an instance of entity
s__range(s__ListOrderFn__m,s__Entity)	Merge.kif 3152-3152	The range of list order is an instance of entity
s__range(s__ShortageFn__m,s__Entity)	Geography.kif 2744-2744	The range of shortage is an instance of entity
s__instance(s__Abstract,s__SetOrClass) s__subclass(s__Abstract,s__Entity) s__instance(s__Entity,s__SetOrClass)	Merge.kif 1703-1703	Abstract is a subclass of entity
s__subclass(s__Physical,s__Entity) s__instance(s__Physical,s__SetOrClass) s__instance(s__Entity,s__SetOrClass)	Merge.kif 856-856	Physical is a subclass of entity
s__termFormat(s__ChineseLanguage,s__Entity,'实体')	chinese_format.kif 813-813	"实体" is the printable form of entity in ChineseLanguage
s__termFormat(s__EnglishLanguage,s__Entity,'entity')	english_format.kif 500-500	"entity" is the printable form of entity in english language
s__termFormat(s__FrenchLanguage,s__Entity,'entit�')	french_format.kif 489-489	"entit�" is the printable form of entity in french language
s__termFormat(s__Hindi,s__Entity,'astitva')	terms-hindi.txt 23-23	"astitva" is the printable form of entity in Hindi
s__termFormat(s__ItalianLanguage,s__Entity,'Entit�')	terms-it.txt 23-23	"Entit�" is the printable form of entity in italian language
s__termFormat(s__PortugueseLanguage,s__Entity,'Entidade')	portuguese_format.kif 441-441	"Entidade" is the printable form of entity in portuguese language
s__termFormat(s__ar__m,s__Entity,'كَائِن')	arabic_format.kif 225-225	"كَائِن" is the printable form of entity in ar
s__termFormat(s__cb__m,s__Entity,'bisag unsa')	terms-cb.txt 26-26	"bisag unsa" is the printable form of entity in cb
s__termFormat(s__cz__m,s__Entity,'entita')	terms-cz.txt 56-56	"entita" is the printable form of entity in cz
s__termFormat(s__tg__m,s__Entity,'kahit ano')	terms-tg.txt 26-26	"kahit ano" is the printable form of entity in tg

appearance as argument number 3

s__domain(s__AssignmentFn__m,2,s__Entity)	Merge.kif 807-807	The number 2 argument of assignment is an instance of entity
s__domain(s__ListFn__m,1,s__Entity)	Merge.kif 3105-3105	The number 1 argument of list is an instance of entity
s__domain(s__abbreviation__m,2,s__Entity)	Mid-level-ontology.kif 25047-25047	The number 2 argument of abbreviation is an instance of entity
s__domain(s__accessableFromMenu__m,1,s__Entity)	ComputerInput.kif 710-710	The number 1 argument of accessableFromMenu is an instance of entity
s__domain(s__accessableFromMenuItem__m,1,s__Entity)	ComputerInput.kif 909-909	The number 1 argument of accessableFromMenuItem is an instance of entity
s__domain(s__acronym__m,2,s__Entity)	Media.kif 3003-3003	The number 2 argument of acronym is an instance of entity
s__domain(s__buys__m,3,s__Entity)	Mid-level-ontology.kif 27686-27686	The number 3 argument of buys is an instance of entity
s__domain(s__codeMapping__m,3,s__Entity)	Media.kif 2261-2261	The number 3 argument of codeMapping is an instance of entity
s__domain(s__comment__m,1,s__Entity)	Merge.kif 18625-18625	The number 1 argument of comment is an instance of entity
s__domain(s__confersNorm__m,1,s__Entity)	Merge.kif 4105-4105	The number 1 argument of confers norm is an instance of entity
s__domain(s__confersObligation__m,2,s__Entity)	Merge.kif 17718-17718	The number 2 argument of confers obligation is an instance of entity
s__domain(s__confersRight__m,2,s__Entity)	Merge.kif 17692-17692	The number 2 argument of confers right is an instance of entity
s__domain(s__contestEntry__m,1,s__Entity)	Music.kif 1094-1094	The number 1 argument of contest entry is an instance of entity
s__domain(s__conventionalLongName__m,2,s__Entity)	Mid-level-ontology.kif 25030-25030	The number 2 argument of official name is an instance of entity
s__domain(s__conventionalShortName__m,2,s__Entity)	Mid-level-ontology.kif 25042-25042	The number 2 argument of acronym is an instance of entity
s__domain(s__creator__m,2,s__Entity)	Mid-level-ontology.kif 11060-11060	The number 2 argument of creator is an instance of entity
s__domain(s__crossFunctionalTeamFocus__m,1,s__Entity)	UXExperimentalTerms.kif 2863-2863	The number 1 argument of BinaryPredicate is an instance of entity
s__domain(s__deprivesNorm__m,1,s__Entity)	Merge.kif 4122-4122	The number 1 argument of deprives norm is an instance of entity
s__domain(s__destination__m,2,s__Entity)	Merge.kif 2568-2568	The number 2 argument of destination is an instance of entity
s__domain(s__documentation__m,1,s__Entity)	Merge.kif 408-408	The number 1 argument of documentation is an instance of entity
s__domain(s__element__m,1,s__Entity)	Merge.kif 5473-5473	The number 1 argument of element is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 284-284	The number 1 argument of equal is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 285-285	The number 2 argument of equal is an instance of entity
s__domain(s__externalImage__m,1,s__Entity)	Merge.kif 696-696	The number 1 argument of externalImage is an instance of entity
s__domain(s__format__m,2,s__Entity)	Merge.kif 422-422	The number 2 argument of format is an instance of entity

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent

( ! [V__CLASS] : (s__instance(V__CLASS,s__Class) <=> s__subclass(V__CLASS,s__Entity)) )	Merge.kif 852-854	?CLASS is an instance of class if and only if ?CLASS is a subclass of entity
( ! [V__BU,V__ORG] : (s__businessUnit(V__BU,V__ORG) => (? [V__INTEREST] : (s__instance(V__INTEREST,s__Entity) & s__inScopeOfInterest(V__BU,V__INTEREST)))) )	UXExperimentalTerms.kif 2780-2785	If ?BU is a business unit of ?ORG, then there exists ?INTEREST such that ?INTEREST is an instance of entity and ?BU is interested in ?INTEREST
( ! [V__TEAM] : (s__instance(V__TEAM,s__CrossFunctionalTeam) => (? [V__INTEREST] : (s__instance(V__INTEREST,s__Entity) & (! [V__MEMBER] : ((s__instance(V__MEMBER,s__Human) & s__member(V__MEMBER,V__TEAM)) => s__inScopeOfInterest(V__MEMBER,V__INTEREST)))))) )	UXExperimentalTerms.kif 2826-2836	If ?TEAM is an instance of cross-functional team, then there exists ?INTEREST such that ?INTEREST is an instance of entity and for all ?MEMBER if ?MEMBER is an instance of human and ?MEMBER is a member of ?TEAM, then ?MEMBER is interested in ?INTEREST

statement

(? [V__THING] :
s__instance(V__THING,s__Entity))

Merge.kif 849-850

There exists ?THING such that ?THING is an instance of entity

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: