TreeView Knowledge Base Browser - recordForAgreement

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

recordForAgreement

Sigma KEE - recordForAgreement

recordForAgreement

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Law.kif 493-500
No TPTP formula. May not be expressible in strict first order.	Law.kif 501-501	The number 1 argument of record for agreement is an instance of content bearing physical
No TPTP formula. May not be expressible in strict first order.	Law.kif 502-502	The number 2 argument of record for agreement is an instance of agreement
No TPTP formula. May not be expressible in strict first order.	Law.kif 491-491	record for agreement is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4350-4350
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4349-4349
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4348-4348
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65919-65919

antecedent

No TPTP formula. May not be expressible in strict first order.	Law.kif 526-540	If a process is an instance of intentional process and a content bearing physical is a result of the process and the content bearing physical is the record of an agreement and legal is an attribute of the agreement, then there exist another process, a third process,, , the third process1 and the third process2 such that the other process is an instance of offering and the third process is an instance of reaching agreement and the other process includes a reference to the agreement and the third process includes a reference to the agreement and the third process1 is an agent of the other process and the third process2 is an agent of the third process and the time of existence of the other process happens earlier than the time of existence of the third process
No TPTP formula. May not be expressible in strict first order.	Law.kif 573-588	If an agreement is a party to agreement of a cognitive agent and a process is an instance of intentional process and the process is located at a geopolitical area and the geopolitical area is an instance of geopolitical area and a real number year duration(s) is the age of majority for the process in the geopolitical area and a content bearing physical is a result of the process and the content bearing physical is the record of the agreement and legal is an attribute of the agreement, then the age of the cognitive agent is the real number2 year duration(s) and the real number2 is greater than the real number holds during the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Law.kif 554-571	If an agreement is a party to agreement of a cognitive agent and a process is an instance of intentional process and the process is located at a geopolitical area and the geopolitical area is an instance of nation and the process is located at the geopolitical area2 and the geopolitical area2 is an instance of geopolitical area and a real number year duration(s) is the age of majority for the process in the geopolitical area and a content bearing physical is a result of the process and the content bearing physical is the record of the agreement and the age of the cognitive agent is an entity year duration(s) and the entity is greater than the real number holds during the time of existence of the process, then legal is an attribute of the agreement
No TPTP formula. May not be expressible in strict first order.	Law.kif 515-524	If an agreement is a party to agreement of a cognitive agent and a process is an instance of intentional process and a content bearing physical is a result of the process and the content bearing physical is the record of the agreement and legal is an attribute of the agreement, then sober is an attribute of the cognitive agent holds during the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Law.kif 504-513	If a content bearing physical is the record of an agreement, then there doesn't exist a proposition such that the proposition is not equal to the agreement and the proposition is not a part of the agreement and the content bearing physical contains information the proposition

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