TreeView Knowledge Base Browser - subjectiveAttribute

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

subjectiveAttribute

Sigma KEE - subjectiveAttribute

subjectiveAttribute

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Dining.kif 310-311
No TPTP formula. May not be expressible in strict first order.	Dining.kif 313-313	O argumento numero 1 de subjectiveAttribute e' uma instancia de Entidade
No TPTP formula. May not be expressible in strict first order.	Dining.kif 314-314	O argumento numero 2 de subjectiveAttribute e' uma instancia de Atributo
No TPTP formula. May not be expressible in strict first order.	Dining.kif 315-315	O argumento numero 3 de subjectiveAttribute e' uma instancia de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Dining.kif 312-312	subjectiveAttribute e' uma instancia de Predicado Ternario

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4690-4690
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4689-4689
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4688-4688
No TPTP formula. May not be expressible in strict first order.	Dining.kif 316-316

antecedent

No TPTP formula. May not be expressible in strict first order.	Dining.kif 1044-1059	subjectiveAttribute AutonomousAgent, Quick and AutonomousAgent subjectiveAttribute AutonomousAgent, Slow and AutonomousAgent Processo e' uma instancia de Classe Processo e' uma instancia de Classe Classe e' uma sub-classe de Processo Processo e' um agente de AutonomousAgent Processo e' um agente de AutonomousAgent Unidade de Medida e' uma instancia de UnitOfDuration a duracao de tempo de existencia de Processo e' Numero Real Unidade de Medida(s) a duracao de tempo de existencia de Processo e' Numero Real Unidade de Medida(s) Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 3062-3075	subjectiveAttribute AutonomousAgent, Atributo and AutonomousAgent Atributo e' uma instancia de FoodRating AutonomousAgent e' uma instancia de AutonomousAgent Entidade Processo and Processo Processo e' uma instancia de Cozinhar Processo e' um agente de AutonomousAgent Entidade e' o resultado de Processo Processo e' uma instancia de Classificar Processo e' um agente de AutonomousAgent Processo termina em Entidade Atributo e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 3030-3034	subjectiveAttribute Objeto, Atributo and AutonomousAgent Atributo e' uma instancia de HotelRating TravelerAccommodation e' um atributo de Objeto
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 3040-3044	subjectiveAttribute Entidade, Atributo and AutonomousAgent Atributo e' uma instancia de RestaurantRating Entidade e' uma instancia de Restaurant
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 3091-3103	subjectiveAttribute AutonomousAgent, Atributo and AutonomousAgent Atributo e' uma instancia de ServiceRating AutonomousAgent e' uma instancia de AutonomousAgent Processo Processo Processo e' uma instancia de ServiceProcess Processo e' um agente de AutonomousAgent Processo e' uma instancia de Classificar Processo e' um agente de AutonomousAgent Processo termina em Processo Atributo e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	Dining.kif 1026-1030	subjectiveAttribute Entidade, Atributo and AutonomousAgent Atributo e' uma instancia de TimeAttribute Entidade e' uma instancia de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Dining.kif 1012-1020	subjectiveAttribute Entidade, Favorite and Agente Cognitivo Entidade e' uma instancia de Classe Entidade subjectiveAttribute Entidade, Favorite and Agente Cognitivo Entidade e' uma instancia de Classe Agente Cognitivo prefere Agente Cognitivo quer Entidade a Agente Cognitivo quer Entidade
No TPTP formula. May not be expressible in strict first order.	Dining.kif 900-909	subjectiveAttribute Objeto, Won and AutonomousAgent Objeto e' uma instancia de FoodForFn Humano Contest AutonomousAgent and Processo contestObject Contest, Objeto and AutonomousAgent Processo e' uma instancia de Judging Processo e' um agente de AutonomousAgent Processo e' um sub-processo de Contest
No TPTP formula. May not be expressible in strict first order.	Dining.kif 318-325	subjectiveAttribute Entidade, Atributo and AutonomousAgent Processo Processo e' uma instancia de Classificar Processo e' um agente de AutonomousAgent Atributo e' um patient de Processo Processo termina em Entidade

consequent

No TPTP formula. May not be expressible in strict first order.	Dining.kif 1012-1020	subjectiveAttribute Entidade, Favorite and Agente Cognitivo Entidade e' uma instancia de Classe Entidade subjectiveAttribute Entidade, Favorite and Agente Cognitivo Entidade e' uma instancia de Classe Agente Cognitivo prefere Agente Cognitivo quer Entidade a Agente Cognitivo quer Entidade
No TPTP formula. May not be expressible in strict first order.	Dining.kif 883-896	contestObject Contest, Objeto and AutonomousAgent contestParticipant Contest and AutonomousAgent Processo AutonomousAgent, Processo and Entidade Processo e' uma instancia de Fazer Objeto e' o resultado de Processo Processo e' um agente de AutonomousAgent Processo e' uma instancia de Judging Processo e' um agente de AutonomousAgent Objeto e' um patient de Processo subjectiveAttribute Objeto, Entidade and AutonomousAgent e' o resultado de Processo Processo e' um sub-processo de Contest
No TPTP formula. May not be expressible in strict first order.	Dining.kif 492-505	dressCode AmbienceAttribute and AutonomousAgent o argumento Entidade Entidade Entidade e' uma instancia de Outfit subjectiveAttribute Entidade, AmbienceAttribute and AutonomousAgent Entidade Entidade customer Entidade and AutonomousAgent locatedAtTime Entidade, Entidade and AutonomousAgent Entidade e' membro de Entidade Entidade usa Entidade vale durante Entidade tem a forca modal de Obligation
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1437-1445	Entidade e' uma instancia de Proliferation Processo AutonomousAgent and Entidade Processo e' uma instancia de Classificar Processo e' um agente de AutonomousAgent Entidade e' uma instancia de Aumentar Processo termina em Entidade subjectiveAttribute Entidade, Quick and AutonomousAgent

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