Knowledge base Browser

appearance as argument number 1

(documentation domain EnglishLanguage "Provides a computationally and heuristically convenient mechanism for declaring the argument types of a given relation. The formula (domain ?REL ?INT ?CLASS) means that the ?INT'th element of each tuple in the relation ?REL must be an instance of ?CLASS. Specifying argument types is very helpful in maintaining ontologies. Representation systems can use these specifications to classify terms and check integrity constraints. If the restriction on the argument type of a relation is not captured by a set or class already defined in the ontology, one can specify a set or class compositionally with the functions union, intersection, etc.")	Merge.kif 198-206
(domain domain 1 Relation)	Merge.kif 195-195	The number 1 argument of domain is an instance of relation
(domain domain 2 PositiveInteger)	Merge.kif 196-196	The number 2 argument of domain is an instance of positive integer
(domain domain 3 SetOrClass)	Merge.kif 197-197	The number 3 argument of domain is an instance of set or class
(instance domain TernaryPredicate)	Merge.kif 194-194	domain is an instance of ternary predicate

appearance as argument number 2

(format EnglishLanguage domain "the number %2 argument of %1 is %n an instance of %3")	english_format.kif 166-166
(termFormat EnglishLanguage domain "domain")	domainEnglishFormat.kif 3154-3154	term format english language, domain and "domain"

antecedent

(=> (and (domain ?REL ?NUMBER ?CLASS) (?REL @ROW)) (instance (ListOrderFn (ListFn @ROW) ?NUMBER) ?CLASS))	Merge.kif 2434-2438	If the number a positive integer argument of a relation is an instance of a set or class and relation @ROW then positive integerth element of (@ROW) is an instance of set or class
(=> (and (domain ?REL ?NUMBER ?CLASS1) (domain ?REL ?NUMBER ?CLASS2)) (or (subclass ?CLASS1 ?CLASS2) (subclass ?CLASS2 ?CLASS1)))	Merge.kif 208-214	If the number a positive integer argument of a relation is an instance of a set or class and the number positive integer argument of relation is an instance of set or class then set or class is a subclass of set or class or set or class is a subclass of set or class
(=> (and (domain ?REL1 ?NUMBER ?CLASS1) (domain ?REL2 ?NUMBER ?CLASS2) (disjoint ?CLASS1 ?CLASS2)) (disjointRelation ?REL1 ?REL2))	Merge.kif 391-396	If the number a positive integer argument of a relation is an instance of a set or class and the number positive integer argument of relation is an instance of set or class and set or class is disjoint from set or class then relation and relation are disjoint
(=> (and (instance ?REL EconomicRelation) (domain ?REL 1 ?CLASS)) (subclass ?CLASS GeopoliticalArea))	Mid-level-ontology.kif 10618-10622	If a relation is an instance of economic relation and the number 1 argument of relation is an instance of a set or class then set or class is a subclass of geopolitical area
(=> (and (subrelation ?PRED1 ?PRED2) (domain ?PRED2 ?NUMBER ?CLASS1)) (domain ?PRED1 ?NUMBER ?CLASS1))	Merge.kif 175-179	If a relation is a subrelation of relation and the number a positive integer argument of relation is an instance of a set or class then the number positive integer argument of relation is an instance of set or class

consequent

(<=> (instance ?REL TotalValuedRelation) (exists (?VALENCE) (and (instance ?REL Relation) (valence ?REL ?VALENCE) (=> (forall (?NUMBER ?ELEMENT ?CLASS) (=> (and (lessThan ?NUMBER ?VALENCE) (domain ?REL ?NUMBER ?CLASS) (equal ?ELEMENT (ListOrderFn (ListFn @ROW) ?NUMBER))) (instance ?ELEMENT ?CLASS))) (exists (?ITEM) (?REL @ROW ?ITEM))))))	Merge.kif 1776-1791	A relation is an instance of total valued relation if and only if there exists a positive integer so that relation is an instance of relation and relation %&has positive integer argument(s) and if for all positive integer an entity and and a set or class if positive integer is less than positive integer and the number positive integer argument of relation is an instance of set or class and entity is equal to positive integerth element of (@ROW) then entity is an instance of set or class then there exists a entity so that relation @ROW and entity
(=> (and (subrelation ?PRED1 ?PRED2) (domain ?PRED2 ?NUMBER ?CLASS1)) (domain ?PRED1 ?NUMBER ?CLASS1))	Merge.kif 175-179	If a relation is a subrelation of relation and the number a positive integer argument of relation is an instance of a set or class then the number positive integer argument of relation is an instance of set or class
(=> (distributes ?FUNCTION1 ?FUNCTION2) (forall (?INST1 ?INST2 ?INST3) (=> (and (domain ?FUNCTION1 1 ?CLASS1) (instance ?INST1 ?CLASS1) (instance ?INST2 ?CLASS1) (instance ?INST3 ?CLASS1) (domain ?FUNCTION2 1 ?CLASS2) (instance ?INST1 ?CLASS2) (instance ?INST2 ?CLASS2) (instance ?INST3 ?CLASS2)) (equal (AssignmentFn ?FUNCTION1 ?INST1 (AssignmentFn ?FUNCTION2 ?INST2 ?INST3)) (AssignmentFn ?FUNCTION2 (AssignmentFn ?FUNCTION1 ?INST1 ?INST2) (AssignmentFn ?FUNCTION1 ?INST1 ?INST3))))))	Merge.kif 2955-2973	If a binary function is distributive over binary function then for all a function function and and a function if the number 1 argument of binary function is an instance of a set or class and function is an instance of set or class and function is an instance of set or class and function is an instance of set or class and the number 1 argument of binary function is an instance of set or class and function is an instance of set or class and function is an instance of set or class and function is an instance of set or class then binary function( function and binary function( function and function)) is equal to binary function( binary function( function and function) and binary function( function and function))
(=> (identityElement ?FUNCTION ?ID) (forall (?INST) (=> (and (domain ?FUNCTION 1 ?CLASS) (instance ?INST ?CLASS)) (equal (AssignmentFn ?FUNCTION ?ID ?INST) ?INST))))	Merge.kif 4124-4131	If a function is an identity element of a binary function then for all function if the number 1 argument of binary function is an instance of a set or class and function is an instance of set or class then binary function( function and function) is equal to function
(=> (instance ?FUN OneToOneFunction) (forall (?ARG1 ?ARG2) (=> (and (domain ?FUN 1 ?CLASS) (instance ?ARG1 ?CLASS) (instance ?ARG2 ?CLASS) (not (equal ?ARG1 ?ARG2))) (not (equal (AssignmentFn ?FUN ?ARG1) (AssignmentFn ?FUN ?ARG2))))))	Merge.kif 2637-2646	If a function is an instance of one to one function then for all function and a function if the number 1 argument of function is an instance of a set or class and function is an instance of set or class and function is an instance of set or class and function is not equal to function then function( function) is not equal to function( function)
(=> (instance ?FUNCTION AssociativeFunction) (forall (?INST1 ?INST2 ?INST3) (=> (and (domain ?FUNCTION 1 ?CLASS) (instance ?INST1 ?CLASS) (instance ?INST2 ?CLASS) (instance ?INST3 ?CLASS)) (equal (AssignmentFn ?FUNCTION ?INST1 (AssignmentFn ?FUNCTION ?INST2 ?INST3)) (AssignmentFn ?FUNCTION (AssignmentFn ?FUNCTION ?INST1 ?INST2) ?INST3)))))	Merge.kif 2676-2686	If a function is an instance of associative function then for all function a function and and a function if the number 1 argument of function is an instance of a set or class and function is an instance of set or class and function is an instance of set or class and function is an instance of set or class then function( function and function( function and function)) is equal to function( function( function and function) and function)
(=> (instance ?FUNCTION CommutativeFunction) (forall (?INST1 ?INST2) (=> (and (domain ?FUNCTION 1 ?CLASS) (instance ?INST1 ?CLASS) (instance ?INST2 ?CLASS)) (equal (AssignmentFn ?FUNCTION ?INST1 ?INST2) (AssignmentFn ?FUNCTION ?INST2 ?INST1)))))	Merge.kif 2695-2704	If a function is an instance of commutative function then for all function and a function if the number 1 argument of function is an instance of a set or class and function is an instance of set or class and function is an instance of set or class then function( function and function) is equal to function( function and function)

appearance as argument number 0

(domain AbortedFn 1 Agent)	MilitaryProcesses.kif 2372-2372	The number 1 argument of aborted is an instance of agent
(domain AbortedFn 2 Process)	MilitaryProcesses.kif 2373-2373	The number 2 argument of aborted is an instance of process
(domain AbortedLaunchFn 2 TakingOff)	MilitaryProcesses.kif 2438-2438	The number 2 argument of aborted launch is an instance of taking off
(domain AbortedMissionFn 2 MilitaryOperation)	MilitaryProcesses.kif 2392-2392	The number 2 argument of aborted mission is an instance of military operation
(domain AbsoluteValueFn 1 RealNumber)	Merge.kif 3742-3742	The number 1 argument of absolute value is an instance of real number
(domain AbstractionFn 1 Class)	Merge.kif 1397-1397	The number 1 argument of abstraction is an instance of class
(domain AccountFn 1 FinancialAsset)	FinancialOntology.kif 2164-2164	The number 1 argument of account is an instance of financial asset
(domain AdditionFn 1 Quantity)	Merge.kif 3693-3693	The number 1 argument of addition is an instance of quantity
(domain AdditionFn 2 Quantity)	Merge.kif 3694-3694	The number 2 argument of addition is an instance of quantity
(domain AddressFn 1 ComputerFile)	QoSontology.kif 174-174	The number 1 argument of address is an instance of computer file
(domain AgreementOrganizationFn 1 Agreement)	Geography.kif 2853-2853	The number 1 argument of agreement organization is an instance of agreement
(domain AssignmentFn 1 Function)	Merge.kif 681-681	The number 1 argument of assignment is an instance of function
(domain AttrFn 1 Class)	engineering.kif 35-35	The number 1 argument of attr is an instance of class
(domain AttrFn 2 Attribute)	engineering.kif 36-36	The number 2 argument of attr is an instance of attribute
(domain AvailableForMilitaryServiceMaleFn 1 GeopoliticalArea)	Military.kif 813-813	The number 1 argument of available for military service male is an instance of geopolitical area
(domain BackFn 1 SelfConnectedObject)	Merge.kif 781-781	The number 1 argument of back is an instance of self connected object
(domain BeginFn 1 TimeInterval)	Merge.kif 6539-6539	The number 1 argument of begin is an instance of time interval
(domain BeginNodeFn 1 GraphPath)	Merge.kif 4678-4678	The number 1 argument of begin node is an instance of graph path
(domain BeliefGroupMemberFn 1 BeliefGroup)	People.kif 676-676	The number 1 argument of BeliefGroupMemberFn is an instance of belief group
(domain BirthsPerThousandFn 1 GeopoliticalArea)	People.kif 91-91	The number 1 argument of births per thousand is an instance of geopolitical area
(domain BirthsPerThousandFn 2 Year)	People.kif 92-92	The number 2 argument of births per thousand is an instance of year
(domain BorderFn 1 GeographicArea)	Geography.kif 673-673	The number 1 argument of border is an instance of geographic area
(domain BorderFn 2 GeographicArea)	Geography.kif 674-674	The number 2 argument of border is an instance of geographic area
(domain CPUUtilizationFn 1 ComputerProgram)	QoSontology.kif 1219-1219	The number 1 argument of CPU utilization is an instance of computer program
(domain CabinetFn 1 GeopoliticalArea)	Government.kif 1430-1430	The number 1 argument of cabinet is an instance of geopolitical area

Display limited to 25 items. Show next 25

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home SUMO web home
Sigma version 2.8b (2010/03/15) is open source software produced by Articulate Software and its partners

KB Term:

English Word: